On Fri, Feb 08, 2019 at 02:25:50AM +0100, Julian H. Stacey wrote: > Not sure where best to suggest that for discussion, > so here on doc@ for a start ? bugmeister@ maintains it. (I am on bugmeister@ but don't know anything about how Bugzilla is actually set up, sorry.) mcl