Why is it GHC "5.02.2", "5.03" etc.? Wouldn't it be easier with "5.2.2", "5.3"? -- Ashley Yakeley, Seattle WA