Can you check if that fixes it?
Not a big deal, I can do it too. But if it's easy you'd get to add your name to the repo :) Let me know.
Wanna switch to email? If you click on my username, my profile has my email address.