One request, if the new build(s) could have the version identifier in the UI and /thversion variable updated; they still read 5.3.16.  Perhaps ‘5.3.16 13Mar2017’ or the like, would help with identifying which version I have active, and from which version pdf outputs were created.



Implemented in a form:

X.Y.Z (YYYY-MM-DD) for releases
X.Y.Z+short_commit_id (YYYY-MM-DD) for other commits subsequent to a release

Martin