FWIW I'm a customer and had never read about it on HN until this post. I learned about it from a private Discord programmer community.