Loading annotation for devcontainers.github.io