Apart from the files I am supposed to update with my information I also edited two scripts, which didn't work due to the leading 0 in my username. Those scripts are share/pgpkeys/checkkey.sh and share/pgpkeys/addkey.sh.
I guess I should update those scripts in a separate commit, right?