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 ori

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 https://news.ycombinator.com/item?id=47366400)