I finally fixed a problem I was having with Terminal.app and ssh'ing to my linux box and the delete/backspace key. Ended up just making all incoming terminals into xterm rather than xterm-color. Anyway, if anyone else has that problem. Did I also ever mention that the cheap Dunkin' Donuts breakfast, the #1, Med. Coffee and 2 donuts, that the Evanston one raised price sometime in the last year from $2.40 to $2.50? Relatively random piece of info. Had some sushi last night, at 2 separate places. Buses take longer when there's a Cubs game just getting out. I'm already done with the first Harry Potter and moving on to the second. Fast reads. Beach tomorrow.