Re: [GHC] #9847: Remove "Difficulty" field from the Trac