My solution to the docs problem (which the OP describes well btw... The problem is how everything is on miles long pages), is to use: https://devdocs.io https:

My solution to the docs problem (which the OP describes well btw... The problem is how everything is on miles long pages), is to use: https://devdocs.io https://devdocs.io It does excellent fuzzy search-as-you-type, and is typically a pinned tab in my browser most of the time.