Loading annotation for greshake.github.io