Rick said:
It's been in his User space since February 2.
Couple of weeks, then. Unless he starts making a collection of this kind
of recreated deletia, I don't see that it's a major problem. It might be
a good idea to wag your finger at him so he knows it's been noted and it's
disapproved of.