Loading annotation for vprover.github.io