Hey, I'm pushing for another platform release at the end of this week, so there should be a few new packages out there. It's stabilising a bit now. Also the GTK+ family will be having a release tonight or tomorrow (US time, I assume). Need anything, let me know, - Jeff -- "If you want to start a debate on a subject, however, all that seems to be necessary is to involve perennial target Richard Gooch." - LWN