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