Loading annotation for benjamin-recht.github.io