Hi Stef,

> Still this raise a more general question of having a style really not
> easily removable after it gets in.
> I suppose that for now as people really like diego style this will be a
>  default part of the image.
>
> Diego would you have a solution so that removing your look for people
> working on slow or mini image
> would not break?

To remove it is not easy (just like the majority of changes to existing
methods).

What is possible is to disable the changes from some preferences options
and the extra cost is (more or less) an #ifTrue: evaluation.

Cheers,

Diego