Loading annotation for pubs.opengroup.org