[mikeash]

Thank you for pointing that out. I guess I'll delete mine after you delete yours. I hope it works that way.

[Stratoscope]

Silly me, I didn't get back here in time to delete my comment! But we're probably long off the home page by now, so nobody cares much about a little clutter... :-)