Loading annotation for dotty.epfl.ch