[HTML export] Straight quotes aren’t automatically being converted to curly quotes #6337
Description
When using HTML export, quotes aren’t being automatically handled correctly, like they would be in PDF export. Some examples:
In HTML export, using #quote[text] generates the correct U+201c and U+201d curly double quotes that we expect, a la
“text”
However, when directly quoting the text with straight quotes, "text" gets exported directly as
"text"
with the incorrect straight quotes. Same goes for single quotes, including apostrophes. So, for instance, in PDF mode shouldn't would export correctly as
shouldn’t
with the U+2019 right curly single quote, but in HTML it exports incorrectly as
shouldn't
with the straight quote.