[kurtextrem]

If an official blog post, meant for regular users, lists using the search of Chrome Dev Tools to find hidden content instead of the actual Ctrl+F search: "in Chrome, you can search from within Developer Tools to match against all rendered text, which would include the text in drop-down menus and other areas of the site." it is maybe time to change the Ctrl+F search instead of recommending regular users to use developer tools.