Re: [Hackage] #864: worldfile written with incorrect case