Various documentation improvements and clean-up