Re: Another hadrian option you might want to use

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