sc_Timer(3) on Linux

The text 12429f18d703, as Debian 12 (Bookworm) shipped it. The page shows this text now.

The Timer class uses RegionTimer to time intervals in an exception safe manner.