This repo has been retired and then un-retired.
The old retired version (with the badly-structured Ansible project) is in
branch `old`.

Now, it's a repo to run GitHub Actions to do maintenance on my stuff.