2 ms·

Their concern is that they'll get migrated to a server that doesn't support 32-bit linux, not that it's something they found difficult to do.