Change e-mail address

[Thomas Vogt <acc-gnome-extensions tovotu de>]

Dear all,

I want to get rid of my old e-mail address:

tuxor1337 (at) web.de

But at the moment, I have an account (username: tuxor1337) on
extensions.gnome.org that is connected to this address.

1) Is there a way to change the e-mail address of an existing account?

I assume that there is no way to change the e-mail address of an
existing account. Therefore I created a new account (username: user3049)
using a different mail address:

acc-gnome-extensions (at) tovotu.de

2) Is it possible to change ownership of the extensions Hide Top Bar and
Insensitive Message Tray from tuxor1337 to user3049?

Is there somebody on this list who can put into effect one the two
options? Thanks in advance for your help!

Best regards

Thomas

PS: Please, feel free to contact me under my old e-mail address to
verify my identity.