plugins: de-dupe GUI names list (fixes #1188)