Remove unexpanded '$Id$' tokens, unused since the transition to git

Leave the expanded ones in a few source files as historical information.

Merge request reports

Loading