Request: change my username from an email-derived one to AugCasso #2109

Hi,

I registered today using GitHub and entered an email-style name in the username field. It was
sanitized to reductedharmgmail.com, which is now my public username and is part of both my
listing and install URLs:

https://openuserjs.org/scripts/reductedharmgmail.com/Booru_Bulk_Downloader
https://openuserjs.org/install/reductedharmgmail.com/Booru_Bulk_Downloader.user.js

Could it please be changed to:

AugCasso

I checked and https://openuserjs.org/users/AugCasso returns 404, so it looks unclaimed.

I've read #233 and #359, so I understand the change has to be made by hand and that migrating the
account deletes its scripts. That's fine by me — my script is Booru Bulk Downloader v1.0.1
(44,970 bytes, MIT, currently 0 installs) and I'll re-upload it under the new name as soon as the
change is made.

#359 describes emailing the old and new username, but I couldn't find a published address, so I'm
asking here instead. If email is still required, please let me know where to send it.

Thanks.