This release was of course actually done a long time ago,
but I am redoing it in the new repo.