Comment by socialcommenter

Andreas opted out on June 29th[0]. As discussed elsewhere on HN[1]

[0] https://mathstodon.xyz/@andreasthom/117240535270608201

[1] https://news.ycombinator.com/item?id=49638353