where did tuxedo.org go?

[B. van Ouwerkerk]

Hi,

WHere did tuxedo.org go? I was looking for 
http://www.tuxedo.org/~esr/faqs/smart-questions.html  but ended up on your 
website..


Thanks,


B.