Please use the copy from ubuntu-linux.rst. I replaced $(uname -s)/$(uname -m) with Linux/x86_64, and added a warning about only supporting 64-bit,