"Marc G. Fournier" <scrappy@postgresql.org> writes:
> Assuming I didn't miss any files, this is now complete ... I grep'd for
> both $Header: and $Id:, and appear to have gotten them all ...
From here it looks like the $Id$ headers are all still there.
regards, tom lane