In the PR webview, we have purple for merged and red for closed. In the issues webview, we just have red for closed. This is inconsistent with what GitHub.com does for issues:

• purple for closed
• grey for closed as not planned

We should not use the red for issues, and instead use the purple, and add a grey.

FYI @lszomoru