Update XML to mark recently ratified extensions as non-provisional (#1084)

Net effect is to rearrange the extension appendices so these extensions
are no longer in a 'provisional' subsection, and to remove the generated
comments about their being provisional from the extension refpages.