See:
It looks like the pattern for the character a got translated into two letters um in the code, which breaks compilation.
Maybe the GitHub Actions checking the translations should also run mdbook test on the translated contents to check that the code snippets still compile?
