Yup, I found another site that described changing the repository and I was able to upgrade from starting with these instructions and finishing with those. Thanks, good luck!
This was very helpful, thank you! I just had a comment and question.
The step where you setup the apt-keys, it looks like some sort of Medium issue with the characters switched your double dash characters (--)to a long dash ( — ). Made copy/paste tricky but figured it out.