Known Vulnerabilities in redhat-pki-theme (Red Hat package)