Just post an update with the corrected name? Or is the site stopping you from doing that somehow?
Eehhh, it was my ISP blocking Cloudflare (¬ ¬U).
That got me quite confused. I managed to push an update now, connecting from a different place...
Thanks!
https://greasyforks.org/en/scripts/526380-alevenymonkey has the wrong name. It is aelevenymonkey, I mistyped. Can I rename it without deleting it and waiting 7 days?