We detached this subthread from https://news.ycombinator.com/item?id=16995373 and marked it off-topic.

No argument there.

Hello readers from the future!

Nah, but they used to.