the HTTP request param wpDestFile will set the desired destination file
name for the MediaWiki file.