nix3-registry-pin(1) on Linux

The text 9200fd3ab31e, as Debian 12 (Bookworm) shipped it.

pin a flake to its current version or to the current version of a flake URL

nix3-registry-pin(1) on Linux now