Lots of documentation improvements