NeuroDebian: port 80 won't work

[nielsaka]

Fyi, following the instructions in pages/docs/install/install-linux.md when I set up the NeuroDebian repository and try to contact the keyserver, port 80 will not work for me.

So maybe

sudo wget -O- http://neuro.debian.net/lists/xenial.us-ca.full | sudo tee /etc/apt/sources.list.d/neurodebian.sources.list
sudo apt-key adv --recv-keys --keyserver hkp://pool.sks-keyservers.net 0xA5D32F012649A5A9

instead of

sudo wget -O- http://neuro.debian.net/lists/xenial.us-ca.full | sudo tee /etc/apt/sources.list.d/neurodebian.sources.list
sudo apt-key adv --recv-keys --keyserver hkp://pool.sks-keyservers.net:80 0xA5D32F012649A5A9

or mention it as a sidenote?