On Mon, Jan 23, 2017 at 12:49 PM, David G. Johnston <
david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> I have followed the "\if" thread that closely but IIRC that was part of
> the discussion there.
>
>
Yes, I'm trying to split some of those side-thoughts into their own threads.