/: Remove PHP manual link's subdomain.