On Monday, 2 January 2017 at 13:51:15 UTC, Martin Nowak wrote: > On Sunday, 1 January 2017 at 23:55:37 UTC, deadalnix wrote: >> But it is not clear if anyone cares at this stage... > > It's fairly embarrassing to read so much uninformed noise. Not to mention that everyone could have fixed this bug.