I agree that semantic code search would be a nice tool in exploratory and onboarding scenarios. The GitHub blog you posted and the CodeSearchNet project was a catalyst that got me interested in semantic code search. That's why I've been hacking on https://codesearch.ai in my spare time at Sourcegraph, which implements a version of semantic code search w/ transformers.