python3-smartypants: Translate ASCII punctuation into HTML entities