CVE-2013-1444: debian txt2man – CVSS 3.3 · Watchpost