Re: [GHC] #5680: Main thread does not respect stack size RTS options