copy of the source code of the web page exploration tool - View it on GitHub