[sr-dev] git:master: parser: remove old $Id$ docs header from subversion times, not usable anymore