3 ms·And there was an official Linux port. Which no longer works properly.by robinsonb5 4y agoAnd there was an official Linux port. Which no longer works properly.