Enable fancy unicode

[AngelOnFira]

I think it's just for consistency (other people generally don't bother going to the effort of doing the fancy punctuation).

That being said, I just spotted that we can make our static site generator automatically do the ASCII-to-fancy-unicode translation if we want (smart_punctuation setting), so we might want to look at turning that on at some point - then we'd have consistency no matter how people write their sections.

Originally posted by @17cupsofcoffee in #1001 (comment)

[AngelOnFira]

I don't particularly have a preference if it is pretty well supported. It seems like it would be a good idea :)