Searching the documentation on docs.julialang.org doesn't seem to work for me. I tried in several different browsers, two different macines, and tried it several hours ago and now. I'm certain that I could previously use the 'search docs' box to ... search, but it doesn't seem to work now. Is something broken?
thanks -- [email protected]
