minor reorganization of User Manual source files: there is now a one-to-one correspondence between .tex files in doc/userman/ and the sections of the User Manual