In Windows/Gtk front-ends, consistently use the ellipsis convention for naming