I have been building this browser extension to search text in jupyter notebooks, and recently beta version is published on Microsoft Edge add-ons store. I would be grateful if you try it, and provide me with your feedback:
Is it working for you? -tested on windows and linux ubuntu, but not on macOS-
Is it helpful?
Do you have any errors (I will ask about your jupyter notebook version, browser version, and OS)
Any other feedback is always welcome
Since it’s beta, please backup your files and notebooks before using it.