Loading annotation for emacsdocs.org