User:Delete page script

This user account is operated by a MediaWiki page deletion script. If you need this to do anything, please request so on Phabricator.