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).