Clarify documentation about documentation, and fix an omission.