pipenv(1) on Linux

The text 392cba3d6a20, as Debian 12 (Bookworm) shipped it.

pipenv(1) on Linux now