//As a Wikisource user, I don't want any links that use the ElectronPdfService to show, so that I only download PDFs via WS-Export, which is a more reliable service.//
==== Background
If only the ElectronPdfService extension (but not the Collection extension) is installed, the ElectronPdfService link is not removed by the Wikisource extension.
I guess because it has its own `<nav>`, different from Collection, with id=p-electronpdfservice-sidebar-portlet-heading.
Looking in the [[ https://noc.wikimedia.org/conf/highlight.php?file=InitialiseSettings.php | production config ]], I think zhwikisource, srwikisource and zh_min_nanwikisource are the only wikisources with only ElectronPdfService installed.
==== Steps to reproduce problem
1. Go to https://sr.wikisource.org/wiki/%D0%91%D0%BE%D0%B6%D0%B8%D1%9B%D0%BD%D0%B5_%D0%BF%D1%80%D0%B8%D1%87%D0%B5?uselang=en
**Expected behavior:** In the left sidebar, you will only see one "Download PDF" link
**Observed behavior:** You see both "Download as PDF" and "Download PDF"
==== Screenshots (if applicable):
{F34010821}
==== Acceptance Criteria:
* Fix bug so that "Download as PDF" link is no longer displayed to users