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.