User:Delete page script

From Meta

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