Search field for hosts
I would love a small search field for the hosts and host groups. Let's say I have 100 hosts and as an admin I'm randomly connecting to different hosts. Having a search field where I can quickly pull up my host profile to connect would be great!
I've seen this exists for the history but don't find that useful.