Re: [GHC] #11654: User Guide: Generate command line options table from ghc-flags directives