This instance was upgraded to Heptapod 0.20rc3 today
Isabelle2021 release of the Archive of Formal Proofs