Loading annotation for leanprover-community.github.io