(4) Corrections to inconsistencies in the formatting of headings. Information for each document includes the filename, draft name, and token as well as any "Web notes" that accompanied the document in the Agenda. It seems to me that the Web notes do not really belong in the minutes. However, since they were in the previous version, I am reluctant to remove them without your permission.