Even simpler than that. A naive user will have ended up with a list of destinations in /etc/apt/sources.list.d/hildon-application-manager.list
of which three of them likely involve catalogue.tableteer.nokia.com

So I was hoping there would end up being a clear place which told a user how to switch to this content's new location. This article might, in fact, suffice, although it still doesn't have a simple step-by-step recipe.

Thanks,
Andy