LocalHSOSGradContribution(3) on Linux

The text 71ae1c7a6f2d, as Debian 11 (Bullseye) shipped it.

LocalHSOSGradContribution(3) on Linux now