Yeah, I intend to run Electrum from my Debian 12 daily driver, which I believe is pretty secure.
I wish I could just use apt to get it on Linux, but apparently it's an appimage. I'll make sure it's the right URL (
https://electrum.org/), spend the UTXOs into an exchange address and then convert into fiat immediately.
All is well with your process, I will just also ask you to verify the image that you get from the website to make sure that you got the real one and not some compromised one. The other mentioned steps in this thread should guide you to your coins considering you do the right (albeit slight) modifications.