Now that the web proxies are in a different repository, no need to
distinguish the two.