has just been released[*], and is still using tetex :-( [*] or rather, i've just logged in to my first such machine; it may have been released as much as a couple of days ago...