Re: [GHC] #15890: Provide a way for hadrian users to always pass some options to hadrian itself