DevDocs Web Ext is a browser extension that allows you to quickly search and browse online documentations from DevDocs (https://devdocs.io).