Document undocumented public items

Perhaps depending on #605.
This shouldn't be indented.