Loading annotation for reproof.app