The on-site search uses the wrong search term. It's somehow related to the website itself. - GitHub always searches for `gh` - Stack Overflow always searches for `stack` - etc.