On 10/18/23 19:22, Thomas Lamprecht wrote:

[..]

The only thing, from top of my head, speaking against doing 1. at all would
be that it's making parsing a bit harder, but tbh., we never guaranteed
error message stability, and if one depends on such stuff they should use
the API – so not seeing that as a blocker.

What do you think?

Yes, sounds good, I'll send a patch right now (+ I don't think parsing is a problem here).