Augment documentation motivated by Martin's post on the mailing list.
Merge pull request #172 from bangerth/doc-fixes-9

Augment documentation motivated by Martin's post on the mailing list.