-1 for the same reasons mentioned above - dedicate resources to other issues rather than a new port
+1
( if you do not agree with a linux port, just don’t downvote it. we’re talking here of NEW developers eager to use and pay for a linux port. Non-linux users wouldn’t “lost” corona developers because of such a task. of course a hole new team would have to be alocated. this is just business decision. again, if the number of linux users is enough… so that we’re here o/ )