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 menu

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 :-)