Tidy up user's manual in inst\doc\