It should be easy to look at a generated artifact and determine its provenance.
I propose that we insert an HTML comment in each HTML file, just before <html>, of the form:
<!-- Generated from tag 'v4.XX.YY' revision 'SHA' at TIMESTAMP -->
This avoids readers seeing it, but makes it easier to track exactly where things came from. Something like this was requested by @nomeata.
It should be easy to look at a generated artifact and determine its provenance.
I propose that we insert an HTML comment in each HTML file, just before
<html>, of the form:<!-- Generated from tag 'v4.XX.YY' revision 'SHA' at TIMESTAMP -->This avoids readers seeing it, but makes it easier to track exactly where things came from. Something like this was requested by @nomeata.