ГОРОД все еще поддерживается?

Я хотел бы сделать свой экран начальной загрузки немного более хорошим, таким образом, в поиске я споткнулся через ГОРОД. Когда я пытаюсь добавить ppa и обновление как инструкции здесь, это возвращает 404 ошибки в sudo apt update. Имеет город, просто уничтоженный, потому что я не могу найти место, где я мог загрузить отдельный установщик.

Под управлением Ubuntu 17.10