hi all

I would really like to use the new preferences browser developed by 
hernan.
I discussed with diego and this is ok for him. Now I would like to know 
if this is problem
for others. Because this would be much better to remove the old one and 
put the new one instead.
And this way we can give to hernan a clear signal


Stef