Re: [GHC] #4243: Make a proper options parser for the RTS