Creating releases by hand is error-prone, which is why I already messed
up several time (no big deal, just some comment or annotations with the
wrong date or version number).
I already had a look at some automation tools, mostly cargo-release, but
it failed to convince me.
Rodolphe Bréard