After I merge the PR and tag and push the tag, is there anything special to create the release, or is there an action for that?
Once a release-X.Y.Z tag exists, the rest should be handled automatically by Github actions (including building the binaries for all the different platforms, bundling them up, and putting it on the Releases page).
And unlike with the Dialog repo, there’s nothing special that needs to be done afterward for Antora, thankfully!