CVE-2018-5256: redhat tectonic – CVSS 7.5 · Watchpost