Отлично! Спасибо!
Кстати, это был хороший повод для меня сбросить пароль root на DigitalOcean. Я не мог вспомнить, где его сохранил. Честно говоря, я боялся, что что-то сломаю в терминале, но всё прошло успешно.
Ещё раз спасибо! Сообщество Discourse замечательное!