Document undocumented public items

Perhaps depending on #605.
I made this private. I thought it was going to be public but it is too niche, I think.