Most probably the developers working on Linux port run 32 bit Linux themselves because of compatibility with some closed-source programs. ;) I have no idea abo

Most probably the developers working on Linux port run 32 bit Linux themselves because of compatibility with some closed-source programs. ;) I have no idea about the real reason, it's just a wild guess.