Hi Werner,
\chardef\quotedblleft="5C
\chardef\quotedblright=`\"
If used within @code, this fails, ...
\def\quotedblleft{{\ecfont \char"10}}
\def\quotedblright{{\ecfont \char"11}}
Thanks. I'll work on this, unless Oleg gets there first :).
