gh-extension-install(1) on Linux

The text 8d3e7b25d308, as Debian 12 (Bookworm) shipped it.

Install a gh extension from a repository

gh-extension-install(1) on Linux now