On Wednesday, 31 January 2018 at 20:03:11 UTC, Adam D. Ruppe wrote: > > {snip} (well, I tried to get it upstream but I think upstream > is a brick wall and not worth trying anymore) That is very concerning to hear.