^ developer time is worth crazy much, it's just irresponsible to waste lots on it on a 0.3% of the users.
just go ask the actual playerbase if they'd prefer the devs working on linux/macos ports or actual gameplay/issues affecting the average player and see the answer.