Tiber7 reported that their name had disappeared from the credits. Upon investigation, this is due to a bug in the regex parsing the translator names.
I used the opportunity to also:
- Port the script to Python 3
- Remove a broken feature of the script that has been unused since the introduction of the translation credits
- Remove trailing whitespace in the credits file (not included in the current diff, for clarity)