Fixed in 2.5.1

Fixed in 2.5.1

Only people will complain that it steals space from tags :)

The section selection will stay. Under "Global search" I mean that search in all sections would be synchronized, so that when you switch to another section, the contents of the search box won't change.

Actually I'm already thinking of doing global search by default.
Would appreciate your thoughts on this here