i'm updating the stats.php pages (for all the domains) tonight. it took me about an hour to find any sort of remotely complete list of http user-agent strings and the related browsers/bots. so i'm writing this in hopes that search engines will pick it up and some day i'll save someone else some time.