Re: [GHC] #9710: Clean up Trac versions