Re[2]: Feature proposal: ghc --full-flag-help ?