Ironically, this post resurfaced on HN with my comment here shown as if made 15 minutes ago, which I in reality did last week?