wrong doc message MediaWiki:Deletebatch-system-username

OPEN This issue is open, waiting for action

MediaWiki:Deletebatch-system-username "Delete page script"
Name of the system user account which can be used by privileged users (those who have the deletebatch-spoof user right) to delete pages. See also Right-deletebatch-spoof (« Pages supprimées par lots en tant que "suppression de page par script" »).
Message is speaking of script, documentation is speaking of system user account.

I don't think this is a mistake. The extension uses a special account name (i.e. a system user account) to run a script. The account's name is "Delete page script".