On Friday, 12 January 2018 at 22:44:48 UTC, Timon Gehr wrote: > As promised [1], I have started setting up a DIP to improve +1, please.