> A little glitch:
>
> It seems that the little arrows at the ends of browser scrollbars have
> disappeared...
>
> Actually they still exist as submorphs, as you can see if you explore a
> scrollbar, but they do not appear, which makes browsers kind of unfinished.

Oops. I now see it's only a preference. My bad...

Stef