Various improvements to the documentation