Rename above script to scrapEfnet.php (so we can add scraping of other servers).