aaronlbpeterman that's nice, thanks!
In the end, I think that the MariaDB update went pretty well and introduced us 2 new extensions that couldn't be installed before... I've quickly tested the push notifications support, and they don't seem to arrive yet (no server-side logs) but it might be just my phone which I always keep in do not disturb mode, so maybe I instructed Chrome to not send any push notifications (or the installed app itself, which works fantastic BTW so that's great). I would like to hear if the push notification support works for at least some forums, to verify if it was included correctly, so if anyone could give it a go and let me know, that'd be very much appreciated. Thank you...
The forum sync is still in progress, but let me know if you spot any errors, so that we can fix them! Thank you everyone for using FreeFlarum! Perhaps the new MariaDB version gave it a little performance boost too... π€