Loading annotation for idealtypes.tk