How to connect to Stanford's secure wireless network using GNOME's NetworkManager

It's not exactly obvious from the instructions how to connect to Stanford's secure wireless network from Linux, since the instructions they have don't exactly match up to the Linux distribution. Here's how I was successful, recorded here mainly so I remember how to do it but also in the hopes that they might be useful to someone else.

For instructions to connect to eduroam from Linux, see this forum thread. It didn't work for me when I put in the CA certificate, but it did work when I didn't put in the CA certificate.