Development record

The setup command page and the identity brief chapter describe behaviour the binary does not have. The page names a later verify step that reads the GitHub settings mirror, but no verb reads it beyond one field. It tells the identity migration as a change in the past tense, and leaves out what blocks the move. The page also leaves the shell-settings line out of what uninstall removes, and states the copy of the shell file and the workflow filters without their conditions. The brief chapter ends with a clause of history.