On Mon, Jan 23, 2017 at 12:49 PM, David G. Johnston < david.g.johns...@gmail.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.