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 production config, I think zhwikisource, srwikisource and zh_min_nanwikisource are the only wikisources with only ElectronPdfService installed.
Steps to reproduce problem
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):
Acceptance Criteria:
- Fix bug so that "Download as PDF" link is no longer displayed to users