A browser Extension for quickly finding documents in devdocs.io with a popup window
Install the browser extension, click on the extension icon, and search for documents directly in the popup window