On 2016/04/23 14:01, patrick keshishian wrote: > On 4/23/16, Michael Reed <m.r...@mykolab.com> 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?
They can both be used together, works fine here.