Comment # 6 on bug 898061 from Tony Mechelynck

Thanks Ryan! The problem seems indeed to have disappeared. I propose to let
this bake at RESOLVED for some time (let's say a week or two), then to mark it
as VERIFIED if the problem doesn't reappear. The Whiteboard entry is in case
I'd forget to do it in time.