Re: Should we have a search box in the side bar?

[Pavel Sanda]

> removed it later. Now I've added it so that it only shows up when you are 
> logged in, but I wonder why we shouldn't have a search field for those that 
> are not logged in? (i.e. regular users)

it looks pretty awful.
pavel