Hi Council, Martina discovered during last release that the write_changelog script didn’t clean up properly after running. I promised to fix this (which I just did in https://github.com/TEIC/TEI/commit/e9206ef7dcb689334be51d55734f3f5315ff78ae) but came across a bigger issue. I.e., the script didn’t write proper changelog information sind release 3.0.0 because of an additional blank line which fools the `head -1`. Anyway, I wonder whether anyone ever looks into P5/ReleaseNotes/ChangeLog which is a mere copy of the history you can view from GitHub (or any other git client). So, I think that might have served some purpose back in the old (subversion) days but couldn’t we simply remove that file (along with the script and the build step) now? Best Peter