Added GitHub as a possible source search location. Fixes #9623.