Never been banned but I stopped commenting or even logging in on Reddit years ago, I always used r/all almost exclusively and they ruined that algorithm multiple times over. I could never really tell if I was talking to a bot or not when commenting either.
Games are pretty demanding, there will probably be widespread support just coincidentally. Also companies build software for where the market is, a big Linux population will command more development time for drivers etc.
Never been banned but I stopped commenting or even logging in on Reddit years ago, I always used r/all almost exclusively and they ruined that algorithm multiple times over. I could never really tell if I was talking to a bot or not when commenting either.