Renamed user manuals with extensions