Doxygen updates, and various general comments, tidying-up.