Removal of phpdoc.org wanted?