Lots of editorial fixes to descriptions, etc. to make the manual