How to search the manual more efficiently

I have used this wonderful tip for a long time but it just stopped working,
apparently due to some change in the julia docs.

Replacing latest with v1 in the URL made it work for me:
https://docs.julialang.org/en/v1/search/?q=%s

I guess that will be OK until there is a v2?
(Personally I liked the reassurance of getting the “latest”…)

3 Likes