## Migrated Migrated from tickets/tui-user-model-setup.md. No legacy review file was present at migration time. ---