Matters arising during the release process

Ian Jacksonrequested to merge
Diziet/arti:release-arising into main

These are things I came across and dealt with right away, rather than merely filing tickets.

Closes #1390 (closed)

Edited by Ian Jackson

Merge request reports