Remove extraneous and misleading old CVS IDs