These were moved to rct at some point and unused in rtags. Delete.