Formatted minutes of 2007-11-15

Attached.

I used the W3C's scribe.pl script to generate the HTML minutes. Bit of a 
pain to edit the log file to conform to what scribe.pl expects, but 
otherwise works ok. Let me know if this format is acceptable.

-Anish
--