Shouldn't we simply remove the "64-bit" in all `docs/user/languages/*.md` ?