Another hadrian option you might want to use

[Norman Ramsey]

 > Perhaps it would be too niche of a resource, but what about collecting
 > these options either in a Wiki page in GHC

In the interests of "done now is better than perfect later," I have
added a note about these options to
https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian.
This is where the command

 > `--flavour=default+no_profiled_libs+omit_pragmas` 

is already documented.


Norman