Comment 6 for bug 77033

Mark: as per the original bug report, the system documentation now includes the facility for searching the online documentation. So there is no limitation.

It's really important for us to get rid of duplicate items in this menu, simply because presenting users with various choices in circumstances where it's not clear which they should choose is a bad idea.

Just ask mpt, he pushed for the implementation of the integrated search function specifically to have this menu entry removed.