On 2/19/06, Andreas Koppa <akoppa at gmail.com> wrote: > > Is it okay to delete de folder of uninstalled extensions? I can´t find an > elegant procedure to delete the unused ones. > Why not use the "backup/delete" option in the extension manager? -Christopher