Smaller enhancements to the docs.

As this touches so much files, I'd appreciate a short review.