[Moved: https://codeberg.org/ihaveahax/mediawiki-extensions-DownloadWithFilename] Download a file with a different name automatically while saving - View it on GitHub