Change email address on extensions.gnome.org

Hello,


is this the right place to ask for a changed email address for a user
account on extensions.gnome.org? I recently lost access to the email
address that I used to create the account and couldn't find any way to
change it myself. I'd be grateful if anyone can point me in the right
direction.


Thanks,

Martin Zurowietz