Update github-wiki-search.user.js