@simon Many people won’t know off the top of their head, but vanishingly few users will be on 32-bit. Think you can safely recommend amd64 to most people.