eeep! You’re right! The apt key process, it turns out, is different for Ubuntu vs Debian. The key has now been copied to that url as well. Thanks for the tip!
We are in the process of uploading a new release, so you may want to wait for a few hours before updating so that you can be sure to get the new release.