After one too many pipeline failures due to old spell-checking
mistakes, I decided to own up to my stuff and spell check
everything. I actually ran:

     codespell --interactive 3 --write-changes *

And dealt with *almost* all the errors, except stuff in old/ which
I'll remove shortly.

When an error comes up now, it is new and should be fixed.

GitHub now supports deploy keys with write permissions, so there is no
need anymore for a surrogate GitHub account. Using the deploy key allows
for a much simplified setup process, in addition to making each key
project-specific on the GitHub side.

Had this in my git stash, still relevant although I've since migrated
away from PIV tokens

those jobs don't need the fail-on-desync-wiki job to finish, to be able to
function

also check required variables for find-files job

this job should work with both merge requests and regular commits

The more I look at this project, the more interesting I find it.