The quote marks got changed to the correct paired quote marks some time back, as part of a little project I did to improve the rendering of of Tcl's documentation as HTML.