Loading annotation for proofwiki.org