Thread:Adnoam/@comment-83.216.95.180-20170823172809/@comment-26336582-20170828234825

That is a surprisingly long list. Thank you for collecting these.

I agree that we should do something about the issue. However, I doubt I'll find time to do it within the next we days. I put it on my list.