A Gnome Shell extension that unmaximizes windows overlaid by another being maximized.