Great news! Only a few years ago, we were asking Dave Gilbert to port his games to Linux, and he replied that it was too much effort for such a small market.