New Sourcegraph badge (I am such a sucker for badges ...)