On Tue, 5 May 2020 at 16:10, David Rowley <dgrowleyml@gmail.com> wrote:
> In previous years, during the development of this you've had HTML
> comments to include the commit details. Are you going to do that this
> year? or did they just disappear in some compilation phase you've
> done?
Never mind. I just saw them all in the commit you've pushed.
David