Extension Manage says: The extensions list has been updated and now contains 4025 extension entries. but the number is senseless because more than half is crap georg