Known Vulnerabilities in gnome-shell-extension-windowsNavigator