Loading annotation for developer.github.com