(texinfo-mode): Change charset of one quotation mark