rogder dodger

Nice! i didn't realise that thanks. 

I think even so it'd be good to have it as an independent little search bar maybe around here? 

If i'm looking at a plugin and i have a question or an issue I usually first check the Discussions panel and the Support panel to see if someone has already asked that question in the hopes of a quick route to answer. Some discussion and support pages however have hundreds of pages of conversations that you can click through but can't search. 

Adding a search to these areas would be quite helpful to find any posts in there about specific questions or issues. 

Just a thought