*: Eliminate the old CVS `$Id: ...' markers.