GitHub Actions: update GitHub's actions to latest versions
GitHub Actions: update GitHub's actions to latest versions

https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/

brechtm/rinohtype,brechtm/rinohtype,brechtm/rinohtype