Differentiation between checked and unchecked errors

[GrandyB]

Sometimes, something unexpected happens that we cannot write a nice message for. Sometimes, expected errors appear that are known user errors or configuration errors.

It would be good to distinguish visually between these two types of errors, as one is something that will likely require developer intervention while the other is something that the user has control over, and should be invited to fix themselves.