Er, um, the post to -news with this title is obviously the DWN for today, Janurary 30th, not the 24th. My bad. Fixed in cvs ;-) -- see shy jo