* Fixed bug #79: Extension manager: Removing extensions containing empty folders...