Doc all the things

Retargeting to `develop`.
Older version of the PR at #824.