new names for xml files

### Description
Renamed XML files in manual/ according to new nomenclature