Hopefully this actually deletes these guys in the repository...