Нет, как раз на провайдера в данном случае надежды никакой. В общем, оказалось проще зайти с другого конца: поставить на новый ноут 14.04, ввести там логин и пароль, благо в этой версии никакого "шлюза" не требуется, выйти в инет и обновить систему до 16.04, потом до 18.04. С 20.04, наверное, все же пока подожду.
На этом тема вроде как исчерпана, закрываю.