I tried both. In both cases no success.
Does this mean the Arduino-IDE builds some kind of internal index that needs to be called again after installing a ZIP-library?
I never needed to do this with other ZIP-libraries.
I started a separated thread about this problem and describe there some steps what I tried. Still trying some more things...
best regards Stefan