Loading annotation for minicomp.github.io