I know that feature! That is the one feature that makes users actually consult the help documentation.

(and I would love to see how that is done - how the menus and their contents, were implemented to make them searchable!)

Here's to 2 more billion upvotes :-)