Yep, people have had to use alternative Discord clients on Linux for quite some time.

For anyone curious: Vesktop, ripcord, webcord, and armcord are the ones I tried at some point.