Known Vulnerabilities in Puppet Server 7.4.2