On 12.01.2018 23:44, Timon Gehr wrote: > ... > > Before going ahead with it, I'd like some preliminary community input: > ... Also, if you have more links to forum posts requesting related features, that would be useful (googling turned up the ones that are in the DIP, but I know that there were more).