Yeah, looks like cruft that can be deleted!