# robots.txt for http://www.netextension.net/