Add page title to search results

[IanButterworth]

With multiple dispatch, often the context of a method name is lost in the search results. rounding is a good example, where 5 of the top 8 results will land you in the Dates section

Current behavior:

This PR:

I did wonder about whether the page name should preceded the result, or whether there was a nicer way to format it in its current form

[mortenpi]

This LGTM, thanks @ianshmean!

I did wonder about whether the page name should preceded the result, or whether there was a nicer way to format it in its current form

I think the information could be organized in some better way in principle. Maybe even multiple lines per search result in a box or something, with page title in a smaller font either above or below? I don't have any specific ideas though how it should look like though.

This definitely improves the status quo though, so I am happy to merge this as is. But if you want to iterate on this, we can also wait.

[IanButterworth]

I think go with this and if I have an idea I'm happy to do another PR 👍

[IanButterworth]

Would it be possible to get this into the julia 1.6 docs? Has it been released yet?

[mortenpi]

No, it's still sitting on Documenter#master. In principle, there's nothing stopping us from releasing 0.26 though. What's the 1.6 timeline?

[IanButterworth]

I think it will fork in the next day or so, so it's tight if we want it to be straightforward. But I guess it's a logical thing to want to be added to an rc.

If there really isn't anything stopping a release, then it could be simple!