On 4/23/16, Michael Reed <[email protected]> wrote: > I prefer this variant of terminus, I wonder what others think.
Just reading the description of this patch on $HOMEPAGE, I wonder (as the page suggests) if this should be default? Incidentally, if it remains a FLAVOR, is it mutually exclusive with the symquotes flavor? --patrick
