chiark / gitweb /
remove $Id$ references from places where we will no longer support them, oh well