On docs.julialang.org, in Google Chrome or Safari, if I click the “search docs” box
then it was recently changed(?) to pop up an interactive search box:
However, clicking the same box in FireFox (131.0.2) now does nothing, making it impossible to search. (At first I thought it might be my ad blocker, uBlock, but disabling that didn’t change anything. Sometimes it mysteriously starts working again, see below.)
I had also set up a browser search bookmark with keyword @jl linking to https://docs.julialang.org/en/v1/search/?q=%s, so that I could just type @jl foo in the address bar to search for foo in the Julia documentation, but that now gives a 404. Is there an updated URL that will work? See also How to search the manual more efficiently - #9 by JeffFessler