Thanks! From a suggestion from someone else, I’m thinking of separating out the machine that runs Kodi and the rest of the stack. I have an old laptop that’s currently running Kodi + server, and a desktop machine that is used for games.
I’m thinking of installing Linux Mint on the desktop machine and using that for games and for the server, and then using LibreELEC on the laptop to run Kodi.
That makes it a bit easier if I decide LibreELEC doesn’t work and I want something else.