Jo, nun hab' ich es rausgekriegt:
Erst mal den Firefox-Ordner weggeworfen aus Applcation Support.
(Gehen allerdings auch die Lesezeichen u.a. Einstellungen flöten, also vielleicht besser ein neues FF installieren und dann Lesezeichen etc. vom alten importieren!)
Danach von irgendwo ein PDF-Dokument laden wollen: So wird man gefragt, was damit geschehen soll. Darauf die richtige Antwort: So gelangt dieser Dateityp in die Download-Einstellungs-Liste und kann nun beliebig bearbeitet werden.
Grüße und Danke
Klaus