Every fucking suggestion you received can be bought for ~30-50$ right now. If that's "crazy expensive" to you, maybe you should consider just getting a regular mouse. I'm pretty happy with my 10$ wireless mouse from Amazon. Neither regular or gaming mice will have issues with Linux, as you'd know if you just spent five minutes with any search engine.
So long as you're not playing competitively, for which you'll generally want a computer that's actually "crazy expensive", you don't need a gaming mouse. It's a luxury item.
Man, an AppImage? If I ever get it it'll be on Steam for sure.