follow-up r53116: let's just delete the files since the feature was reverted in r4140...