Thread:Support/MediaWiki:Userrenametool-error-extension-abort/en/reply (3)

Of course you're right. I assessed another property of the message. Sorry.