Loading annotation for redcol.readthedocs.io