Безопасно ли удалять пользователя puppet после удаления puppet и puppet-common?

В Debian я установил кукольный с apt-get install puppet,

Позже я решил удалить его с apt-get purge puppet puppet-common,

Однако я только что заметил, что мой файл /etc/passwd все еще содержит строку для puppet:

puppet:x:107:115:Puppet configuration management daemon,,,:/var/lib/puppet:/bin/false

Этот пользователь все еще присутствует по какой-либо причине? Любой вред от userdel -r puppet так как сама марионетка больше не установлена ​​в моей системе?