There are no pages in tools/proxy on master.