HTML validator and w3: allow user to set the path to curl.