Per qualche motivo dislessico (o non ho dormito abbastanza) ho digitato
deluser man
invece del più comune
man deluser
... come puoi immaginare, ho appena eliminato man user! Non è mai successo prima ...
Come posso ripristinare correttamente l'utente man di sistema?