I don\'t see how to find-and-replace.
The solution shown in the GIF in How to Find & Replace in Jupyter Lab doesn\'t work for me, because the little arrow left of
