Eu tive que interromper do-release-upgrade (depois de confirmar que ele ficou preso por um final de semana inteiro). Depois, cat /etc/os-release indicou que o Ubuntu 8.10 já estava presente.
Para uma boa medida, eu abri um terminal virtual, emiti systemctl stop $(basename $(cat /etc/X11/default-display-manager)) e repeti do-release-upgrade .
Depois de reboot , a atualização agora parece completa.