Anyway - good riddance.
[0]: https://www.autismparentingmagazine.com/autism-and-sarcasm/
Reply on news.ycombinator.com