Loading annotation for nix-tutorial.gitlabpages.inria…