Loading annotation for socketry.github.io