The TPS web site has moved. The new URL is http://gtps.math.cmu.edu/tps.html