How big is gaming in linux? ( kbin.social ) Are there hardcore gamers there or is it mostly for coders?