And it's possible that this isn't even a joke. Linux is used in counting voters' ballots.