, a volte le estensioni sono attive e altre no?!? Per esempio, a volte le tab sono tutte allineate in alto (default), altre volte elencate ad albero a sinistra (add-on treetabs), come dovrebbe essere SEMPRE. Cancellare i vari file extension.* nel profilo non è servito.