Prima,
ist zwar kein schöner Weg und mit Sicherheit auch nicht im Sinne des Erfinders von dem Extension-Manager ... aber besser als ergebnisloses Herum-Installieren
Irgendwann werde ich der Sache vielleicht mal auf den Grund gehen (wenn dann nicht schon Version 5.0 herausgekommen ist, wo es dann endlich klappt
)