These are additions to the IRE gmcp documentation