My apologies, I decided to do a server update and finally reboot to get everything in, and I underestimated the persistence of this old problem.
It has been fixed in 2017
https://bugs.mysql.com/bug.php?id=199 (took them nearly 15 years), and mysql server 8 should be safe enough to use by now. We can try doing an update, but I'll need Mojko's help with monitoring for errors and fixing any new issues.