Allow search on `Doc` content

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.

