Loading annotation for diffhtml.org