Lots of fixes to documentation, still many more to go!