[email protected]:~$ man codex --edit
Sign in with GitHub to propose an edit. Submitting opens a pull request from your own fork.