Loading annotation for offconvex.github.io