Hi please delete my account on Toolforge and related tools. I haven't used it for like ~5 years and don't want it to linger on your servers or be hijacked. Thanks!