Re: [GHC] #15640: Add "difficulty" field to tickets