Loading annotation for rust-leipzig.github.io