[tei-council] $Date: and $Id:

[Kevin Hawkins]

Every file in Guidelines/ and Specs/ contains at the top:

<!--
Copyright TEI Consortium.
Dual-licensed under CC-by and BSD2 licences
See the file COPYING.txt for details.

which is followed by lines beginning:

$Date:
$Id:

after which there is machine-generated information about the last time 
the file is touched.  I understand that this is automatically by a 
properly configured text editor of some sort.  (I've gone looking for 
information on this in the past out of my own curiosity but have been 
unable to find anything since searching on these terms turns up just 
sourcecode and webpages that were edited using such an editor.  Your 
leads appreciated.)

As far as I can tell, 
http://www.tei-c.org/Activities/Council/Working/tcw20.xml doesn't say 
require that we use a particular editor configuration that will update 
this information when editing an existing file.  I certainly haven't 
ever touched it, so I suppose that when I make an edit, the info listed 
here is inaccurate until someone with such a configuration edits the 
file.  And I suppose that's okay since no one has ever complained or 
suggested we add it to 
http://www.tei-c.org/Activities/Council/Working/tcw20.xml .

However, I am about to create my first element spec (in at last 
implementing http://purl.org/TEI/FR/3555191 ) and am not sure whether to 
put in anything for "$Date:" and "$Id:".  I could create some by hand, 
but I'd like to put in whatever will work best for anyone who further 
edits the file using a properly configured editor.

Please advise.

Kevin