building todays repo head, I noticed the copyright year in the
welcome message is 2016 (in the README it is 1996--2017). Also the
`citation` function returns the information for version 4.2.2. Maybe
these fixes are planned for (5.) of the release check list?
Exactly. That is task 5. I haven't mentioned it on the mailing
list because jwe usually takes care of it in a quasi-automated
manner with some scripts he has.