Невозможно полностью удалить дистрибутив Regolith; альтернативная сессия все еще доступна

.Я попробовал Regolith на своей виртуальной машине, чтобы поиграть с i3. Мне очень понравился этот дистрибутив, и я захотел установить его на свою основную машину. Я пытаюсь удалить его на своей виртуальной машине. Я следовал этому официальному руководству по удалению:

Log out of the Regolith session and into the default Ubuntu session.

$ sudo apt purge regolith-desktop && sudo apt autoremove

Now remove the PPA:

$ sudo add-apt-repository --remove ppa:regolith-linux/release

You can now safely delete the directory ~/.config/regolith.

Но после выхода из системы я все еще мог изменить сеанс на Regolith и успешно войти в него. Он полностью функционален. Как полностью удалить Regolith?

Информация о системе:

OS: Ubuntu 20.04.3 LTS x86_64
DE: GNOME
WM: Mutter