I got sick of seeing the 404s for favicon.ico in the web server logs, so I’ve thrown an icon up. Anybody who cares to do better is welcome to provide an alternative.