Loading annotation for isabelle.reclaim.hosting