Use Texinfo recommended convention for quotes+punctuation.