Development record

After the setup redesign, several setup descriptions are incomplete rather than false: the brief's abcd home tree omits identity/, tools.json and shell-path.json and says backups/ holds only the assistant's settings; the uninstall summary omits that uninstall removes the shell PATH line and abcd's own tool copies; the tool paragraph omits the owned-copy upgrade offer; the --yes help text does not list the shell settings, the commit checks or tools among what it skips; and the public install how-to simplifies which bash startup file is edited.