News: some fixes

[florisvdh]

No description provided.

[florisvdh]

@hansvancalster is main branch restricted to released versions, or do dev version x.y.z.9000 also go in there? In the former case, above commit is to be integrated in the current merge commit on main (I can do so if I have the rights to force-push to main). In the latter case (dev number on main), I can just update the version number here and refactor this PR.

[hansvancalster]

@hansvancalster is main branch restricted to released versions, or do dev version x.y.z.9000 also go in there? In the former case, above commit is to be integrated in the current merge commit on main (I can do so if I have the rights to force-push to main). In the latter case (dev number on main), I can just update the version number here and refactor this PR.

Yes, the main branch is restricted to released versions. Since the updates in this PR should belong to today's release, a force-push is the best option I guess. I will check if you have the rights to do so. (Alternative is postpone this update and merge it with a branch destined for the next release - I haven't made one yet)

[hansvancalster]

@florisvdh you have admin rights

[florisvdh]

OK, it's been added in main. Not sure whether the site will rebuild (although I think it should), maybe it only builds on a new release.