Duncan Coutts authored Jan 09, 2023 and Marge Bot committed Apr 03, 2024

It makes sense now for it to be separate from the scheduler class of
tracers.

Enabled with +RTS -Do. Document the -Do debug flag in the user guide.