Currently, search only applies to Term. What would be really useful would be to allow search on Doc content for all Terms.

Example

I want to know what type can be used for unsigned integers.
If I type unsigned in the search bar, I get nothing. While search for the Doc content, you will find Nat type specifically for that.