Ulrich Mueller Fri, 31 Oct 2008 14:27:34 -0700
As announced beginning of September, the tetex virtual was finally removed. See bug 222501 for details.
Ulrich