This is:

    ikiwiki2hugo.py --exclude .pytest_cache

With the latest script from:

<https://gitlab.com/anarcat/scripts/-/blob/master/ikiwiki2hugo.py>

... as of right now.

The latter is actually one of two standard file extensions (as per
RFC7763, the other being .markdown). It's also the extension expected
by GitHub, GitLab, and other wiki software.

So for the sake of future-proofing and compatibility, rename all files
to the new name.

This will hopefully not break anything: the file extension is not
present in the rendered version anyways.

Those are more future proof and will work in gitlab.

 1. we use the "rescue" dialog instead of mounting/unmounting an
    ISO (simpler, and two less steps)
 2. teach operator about the german keyboard a bit
 3. get rid of the KEYRING hack (see tsa-misc for details)
 4. run in a screen (in case we lose network)
 5. show how to deploy tsa-misc (trusting HTTPS here)

Procedure is still too complicated but at least has one less step (11
instead of 12).