On Wed, May 31, 2017 at 07:51:20PM +0200, Ævar Arnfjörð Bjarmason wrote: > Thanks both. It makes sense to discard this patch. > > I wasn't sure whether anyone really cared about this, and thought a > patch was a better starting point of discussion. I will never complain about somebody starting a discussion with a patch as long as they don't mind if it gets shot down. :) Thanks for raising the point. I do think it was worth thinking about. -Peff