Instead of having a tiny little search input link to a filtered tickets page, add a proper search bar that searches across tickets, milestones, wiki pages, etc.