The Mac / Linux ports also suffered badly. They received a lot of votes for being extremely important and a lot of votes for being very unimportant, but not a great deal in-between. This is not entirely surprising – you either use Linux / a Mac, or you don’t.
Nevertheless, the level of interest suggests it would be worth porting it anyway. If the porter we are talking to is able to deliver the ports for the price we’ve just agreed, it should be worthwhile from our point of view.
These two items have therefore been taken out of the stretch goals.