Todo list:

  - Identify user-agent strings used by Googlebot et al. and remove them
    from the nottor counter, so that people learn about the actual user
    ratio.

