On Monday, July 18, 2016 at 10:49:40 AM UTC+1, Jan van den Broek wrote:
> Just wondering, doesn't the TUG have its own platform for these kind
> of discussions, that would seem more elegant than throwing it out in
> the open.
A good point. There is a TUG members list, but few members belong. Also, TUG's mission includes serving the TeX community, who benefit from a healthy TUG.
I've forwarded this post to the TUG members list.
--
Jonathan