nrm2(3) on Linux

The text 3ff505c6c969, as Debian 13 (Trixie) shipped it.

nrm2: || x ||_2

nrm2(3) on Linux now