Ik had even wat tijd beschikbaar.
Hoera hoera, we zijn er uit. Plan van aanpak heeft gewerkt.
Jouw vermoeden dat /usr/local/lib/python2.7/dist-packages/pdfshuffler/pdfshuffler.py er nog steeds zou zijn na alle verwijderacties, klopte. Ik schakelde telkens tussen terminal en bestandsbeheer om te zien wat het effect was. Na verwijdering van deze versie - had ik dat ook in bestandsbeheer kunnen doen? - en een schone installatie van pdf-shuffler, bleek het te werken. Pdfshuffler startte zowel vanuit terminal als vanuit menu. Zie bijlage
Bedankt voor de assistentie.