Gnome Shell extension to make closing windows in the workspace overview more comfortable