Note for the future: do-release-upgrade can be used with --allow-third-party which will keep the ppa enabled and also switch it to fetch packages from the new release.
Note for the future: do-release-upgrade can be used with --allow-third-party which will keep the ppa enabled and also switch it to fetch packages from the new release.