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