On Mon, 13 May 2024 15:23:59 +0200, Florian Weimer wrote:

> David, I completed the UTF-8 conversion.  Would you please double-check
> that it's correct and resubmit as appropriate?

Sorry, somehow I completely missed all the other conversions. Meh.

Final patch attached, thank you!
David