Info output of @dots{} in UTF-8

[Gavin Smith]

At present makeinfo outputs @dots{} as the Unicode ellipsis character
when "@documentencoding UTF-8" is used. I think this looks ugly in a
monospaced font; see the attached picture. I'd propose that three full
stops in a row be used instead: "..." to give the ellipsis more space
to breathe. Any thoughts?