"Marc G. Fournier" <scrappy(at)postgresql(dot)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