Replace quotes with a better set of curly quotes (as before)
Current:
Proposed:
We don’t need to embed another font, we could use a font that has nice quotes and exists on all platforms, e.g., Times New Roman.
<style>.nice-quote { font-family: 'Times New Roman'; }</style>
…
<span class="quote"><span class="nice-quote">“</span>It just works!<span class="nice-quote">”</span></span>