Documentation must be updated in the same commit or editing…

Documentation must be updated in the same commit or editing session as behavioral changes, not as a separate follow-up task, because manual synchronization steps that can be skipped will be skipped.