Found
The document has moved
here
.
Apache/2.0.54 (Debian GNU/Linux) DAV/2 SVN/1.2.0 PHP/4.3.10-22 mod_ssl/2.0.54 OpenSSL/0.9.7e Server at stallman.org Port 80