Tak už mám 9.10 .

Na té stránce jsem předtím byl, ale zkusil jsem jen postup uvedený nahoře - po aktualizaci se nezobrazila možnost přejít na vyšší verzi. Nevšiml jsem si , že uprostřed je návod - sice pro servery, ale to je snad jedno - na aktualizaci z terminálu:
Takže stačí v terminálu:
sudo apt-get install update-manager-core
( to jsem dělat nemusel, zjistil jsem - přes Synaptic - že už ho mám nainstalovaný )
sudo do-release-upgrade
zadat heslo a už se to rozjelo,
občas chtělo potvrdit pokračování
a po cca čtyřech hodinách - HOTOVO!
Jinak podle hlášky, co mi vyjela, byla zřejmě nějaká chyba v povolených zdrojích, které jsem kdysi přidával - sources.list . Proto mi zřejmě grafická verze nenabídla aktualizaci, aktualizace teď spuštěná jen některé zdroje sama zakázala a pokračovala v instalaci, po aktualizaci by je mělo jít snad zase povolit.
Takže díky a příště zkusím číst pozorněji