Prominently mention `profiler = true` on the coverage page#1844

tshepang merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

Zalathar:coverage-configZalathar/rustc-dev-guide:coverage-configCopy head branch name to clipboard