Loading annotation for github.github.com