Known Vulnerabilities in gnome-shell-extensions (Red Hat package)