<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Dec 30, 2018 at 12:49 AM Karl Berry <<a href="mailto:karl@freefriends.org">karl@freefriends.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">    Hmm... prefix "r-" instead of "r"? <br>
<br>
Hmm. That looks like a pretty good suggestion to me. r-mpost, r-pmpost,<br>
r-upmpost, seem much less susceptible to misunderstanding.<br>
<br>
    It will require rebuilding the<br>
    binaries, so if we can wait for 2019 ...<br>
<br>
Clearly no one has been urgently needing this, since it's been a year<br>
and a half since we talked about it :). Can you take care of [u]pmpost?<br>
<br>
And, Luigi, for the upcoming release, could you change mpost sources to<br>
recognize $0 = r-mpost as meaning -restricted, like rmpost does now?<br></blockquote><div><br></div><div>ok. </div><div>I should do it  in the upcoming week. </div></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">luigi<br></div></div>