Thanks for the v10 release — much appreciated, and the migration was smooth on our side (MariaDB untouched, rebuild ran clean).

Sharing one...