No, because I didn't even know there were upgrade instructions in the release notes. apt-get dist-upgrade has always worked fine for me in the past, so I'd never previously had trouble from not reading release notes and it wasn't obvious that they were the first thing I should look for.

I'll read them now and see if they provide any useful information about how to sort out my remaining problems...