Thanks! When there was a recent Show HN we usually merge the comments thither and re-up that post. I'll do that now.

Normally I'd leave your comment in the original thread as a pointer, but since the other links are of interest, I've moved it too.

(the other thread was https://news.ycombinator.com/item?id=47366400)