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.
Thanks for the suggestion! That sounds really cool, I got my hopes up for a second, but it looks like 5Ghz wifi is required. It makes sense, for speed/latency reasons, but unfortunately the old laptop plugged into the TV is quite old. At least 10 years old, probably more.
I am expecting to replace my current laptop in the next year or so, so maybe I'll look at this setup at that point.