Tampermonkey user script of adding search box to "mdn.dev". - View it on GitHub