copy of the source code of the web page exploration tool