Loading annotation for jsverify.github.io