doc.php.net

Hi, After some voting on systems@, doc.php.net now points to Jacques' server, and given Sean's patch, it will be working fine with all project and language links. I would like to hereby ask everyone having doc related tools to commit and integrate their code to docweb, so we can host most our tools at one place finally. I am not against hosting experimental stuff elsewhere, but those tools used by people every day should be hosted on doc.php.net. Goba