fprof(3erl) on Linux

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

A Time Profiling Tool using trace to file for minimal runtime performance impact.