Unfortunately it was probably just a shallow reaction to the admittedly witty title. I've downweighted the post now, in keeping with https://news.ycombinator.com/newsfaq.html and https://news.ycombinator.com/item?id=10178989. If someone comes up with a workaround, we can restore the thread.