Ellipses (`…`) instead of `...`

Typography reasons (and fixes something Weblate complains about). The introduction of unicode inside gettext calls hopefully will be limited to guitranslations (where we better not take a guess whether it's required, since adding `u` doesn't do harm).

Do we want to add `Encoding:` lines to all our source files?