Augment the documentation.
Merge pull request #8 from bangerth/master

Augment the documentation.