We collect conventional server logs to help tune this web site. The logs note for each request the date and time, IP address, ISP, browser type, and page requested. We make no attempt to associate requests with individuals, and we do not release log data. We collect no personal data about users, such as names, addresses, phone numbers, or e-mail coordinates.
We do not use browser cookies or the like, but we use several third-party products (currently Google Adsense, Analytics, and Custom Search Engine) that may use such tools; see their privacy policies for details. You can disable cookies in your browser settings.