Add documentation -- no code changes.