Found Martin's nice documentation improvements in a stale branch, which appears to have never been merged. Let's do that now.
assigned to @bbb
Nope, actually already merged in f1d536d2
closed
