Display search results overview on the scrollbar

When the search results are highlighted and you can jump to the next result, it would be useful to have an overview on the scrollbar with the locations where your search matched so you can quickly scroll to them (or simply to know if there are more results to jump to).