sourcegraph.com is a badge paradise