I am pretty convinced I have used a Search field in the manual before, but I can not find any such any longer. Am I delusional or has this disappeared?
If it has disappeared, it definitely needs to come back.
Also it seems the in-App Search bar (I think it’s officially named
awesome bar) does not find any articles of the documentation any longer. Can anyone advise what happened here? This also is much needed I guess.