Gnome-Shell wallpaper changing extension with multiple profile support