Loading annotation for idealtype.tk