The improvements in code search by GitHub will be integrated into the main github.com experience only after positive feedback