`show` in `displayException` is rarely useful

[9999years]

Often, either displayException = show or displayException is hand-written and duplicates the information from show.

Either way, AnnotatedException's displayException implementation includes both the show and displayException of the wrapped exception, which usually leads to the same error message (or at least the same information) being included twice. This makes error messages harder to read, especially since the show output is displayed first.