Known Vulnerabilities in gnome-shell-extension-user-theme