Das hat funktioniert! Vielen Dank!
Außerdem war es eine gute Gelegenheit, mein Root-Passwort bei DigitalOcean zurückzusetzen. Ich konnte mich nicht erinnern, wo ich es gespeichert hatte. Ehrlich gesagt hatte ich Angst, im Terminal etwas falsch zu machen, aber alles ist gut gegangen.
Nochmals vielen Dank! Die Discourse-Community ist großartig!