sc_RegionTimer(3) on Linux

The text 2d4c1601d7f3, as Debian 11 (Bullseye) shipped it.

The RegionTimer class is used to record the time spent in a section of code.

sc_RegionTimer(3) on Linux now