Сейчас достаточно сделать nvidia-install-driver и перезагрузиться. Больше ничего делать не надо.
Так и сделал - проприетарный драйвер не запустился.
Затем зашел в модуль "дисплей" в альтераторе и вручную выбрал nvidia (proprietary). Перезапустился - проприетарный драйвер заработал. Выходит инструкция не совсем устарела. Спасибо, Vovka-Korovka.