Disable super key gnome shell 3.4 (gnome3)

I don't like how gnome-shell uses the super key for the overlay shortcut. This can be disabled by typing the following command in a terminal.

gsettings set org.gnome.mutter overlay-key ''

When changing workspaces only the primary monitor changes. To allow all monitors to change use the following.

gsettings set org.gnome.shell.overrides workspaces-only-on-primary false