Loading annotation for libradocs.github.io