I had tried that already, also emptied the cache folders manually. However, when I logged in now, both the Extension Manager and the Language tools worked again. So I guess it is indeed emptying the cache and a dose of patience. Thanks for the quick answer! Adriaan