DevDocs Web Ext is an extension used for showing up a popup window for searching documents in DevDocs ( http://devdocs.io ), to avoid opening a single browser tab.