gnome-shell extension for throwing windows around efficiently - View it on GitHub