On Thu, Feb 25, 2010 at 01:28:52PM +0000, Cameron Laird wrote: > . > . > . > I chatted a bit with Jeff Hobbes about this. We all agree that . . . Hobbs. Not "Hobbes". That's a particularly inexcusable and misleading typo, for which I apologize.