Loading annotation for ruben.verborgh.org