Spun up a thread to see if we have 32 bit linux users, too bad I missed Mateo's effort here! I'll follow up on that thread to close out opinion gathering some time in the next 2 weeks and then file an issue to kill our 32 bit support, because, I suspect you are very right, we have 0 32 bit users.