Automatically raises windows covered by maximized ones.
git clone https://github.com/rliang/gnome-shell-extension-raise-covered ~/.local/share/gnome-shell/extensions/raisecovered@rliang.github.com
gnome-shell-extension-tool -e raisecovered@rliang.github.com