Nein, ganz normale ungeschützte. Ich habe es aber eben "repariert": Zum einen habe ich die extensions.cfg gelöscht (weil hier der fbreader180 noch verlinkt war) und dann habe ich die fbreader180.app UND eine fbreader.app gelöscht. Letztere weiß ich gar nicht, wo die herkam. Die system-interne fbreader-Version, an die kommt man direkt doch gar nicht ran, oder? Jedenfalls klappt es jetzt wieder, Danke!