examples: webcrawler: use URLs that do not 404; + style fixes