Hello! I was pleasantly surprised to see the Pop launcher has lots of handy shortcuts for searching developer documentation sites, but was sad when I saw that https://developer.mozilla.org, arguably the go-to documentation site for web developers, didn't have a shortcut.
Hello! I was pleasantly surprised to see the Pop launcher has lots of handy shortcuts for searching developer documentation sites, but was sad when I saw that https://developer.mozilla.org, arguably the go-to documentation site for web developers, didn't have a shortcut.
This pull request fixes that :)