Adding PGP key via apt-key failing on Ubuntu 18.04
I am trying to add the PGP key from the quick-start page as follows:

```bash
# Import GPG key, if you never used any BinTray repos before
sudo apt-key adv --keyserver hkp://pool.sks-keyservers.net --recv 379CE192D401AB61
```

However, I get the following error:

```
Executing: /tmp/apt-key-gpghome.UgJTHDeDpy/gpg.1.sh --keyserver hkp://pool.sks-keyservers.net --recv 379CE192D401AB61
gpg: keyserver receive failed: Server indicated a failure
```