Many improvements to documentation