We can make it easier to debug issues if we know what version generated the docs we're looking at. Maybe by putting a version number into the comments of each HTML page?