Found Martin's nice documentation improvements in a stale branch, which appears to have never been merged. Let's do that now.
