While tidying up the documentation I'm visiting every file. I can either:
1) add them when missing 2) remove them when present 3) do nothing
I was inclined to (1) until I reflected that it did preserve a relation between local and repository versions. Say one has a number of different check outs of the distribution, then the $Id strings might come in handy to distinguish between them. So in the end I incline to (2).
Does anyone have strong feelings either way?
Mike
