Yeah, I dunno why teachers would intentionally move to OK. In fact you can virtually guarantee the few that would probably do it for the abysmal politics.

I’ve really enjoyed my Bazzite experience. I’ve been running Linux for decades though, so take it with a grain of salt.

Without knowing what you are working on in Visual Studio, I would suggest checking out Jetbrains IDEs. I’ve used Rider for .NET quite successfully, and most of their other IDEs. I havent spent nearly as much time with CLion, but its supposed to be good. I haven’t used VS since like 2015, so I really don’t know how they compare these days. But I also haven’t missed it.

IronFox is really good on mobile.