Double quotation mark in references_html

Dear Editors,

I'm sorry that I asked very stupid question last time.

Today I noticed that all the names of reference documents
in "references.html" are quoted by just double quotation
mark (not character reference """). Is it OK?

Received on Sunday, 22 February 1998 03:27:31 UTC