Replace quotation marks with a dedicated HTML tag q. Fix #278