std::binomial_distribution(3cxx) on Linux

The text 320614ac4c92, as Debian 13 (Trixie) shipped it. The page shows this text now.

A discrete binomial random number distribution.