Now that Electron is Proton, this Special Page name makes little sense. It should be renamed to something more future proof.
|Stalled||None||T181079 [GOAL] Provide an expanded reading experience by improving the ways that users can download articles of interest for later consumption|
|Open||None||T224985 Rename Special:ElectronPdf to Special:Download as Pdf or Special:Export as Pdf|
It's possible to rename the extension, if someone feels they have the time for it. Create a new repo, import the old one into it, remove "electron" everywhere, deploy it to production, switch, undeploy the old one, rename things in mw.org and Phab... probably a bit more work than worth it though.
(And yes, if all the extension does is fetch a configurable remote URL, don't build assumptions about the service behind that URL into the name.)