You’re right - it’s not yet supported in the search. Mostly because it would involve a whole bunch of changes and I’m not sure if enough users want it.
Otherwise, it would be pretty straightforward to add to the inspector!
I’m also missing hostname in TUI, and a possibility of filtering history based on it, not only the current host, global filter is fine for 1-2 hosts, but is getting messy when you have multiple devices connected