Loading annotation for leanprover.github.io