Changing user manual file names.