thomas -- thanks for announcing in good time: i guess we'll all go full circle and switch to tex-live which (iirc) started with tetex as one of its bases.
i would like to echo the (deserved) fulsome praise you've already received from so many people: i've always found tetex a solid and reliable platform to work with. cheers, robin
