I would prioritize having a linux port over having a mac port.
They are trying to expand his audience not shrink it.
