x86/x64 CPU architecture names on the Syncthing website

That’s technically correct: “Intel 64-bit” is usually supposed to denote IA64 (Intel Itanium and the like) rather than x86_64, so your concern looks totally valid to me. Feel free to open an issue in documentation repository.