Mercurial repository hosting of Isabelle Archive of Formal Proofs (AFP) now works via Heptapod, which is a Friendly Fork of Gitlab provided by Octobus and Clever Cloud.

It is good to see that small companies and smart people are able to uphold critical infrastructure, despite the market(ing) decisions by big corporations like Bitbucket.