Re: [PATCH] vulnerabilities.cgi: Use orange instead of blue for mitigated issues