Follow-up from "Docs: Add documentation for the profiler and the ppx_profiler"

The following discussion from !14946 (merged) should be addressed:

• @Saroupille started a discussion: (+5 comments)

  Is this a good UX?