Gnome-shell extension allowing user to set up different wallpapers for each workspace. - View it on GitHub