Thanks for the report! We've fixed the bug now. That definitely earns a sticker, check out https://sourcegraph.com/about https://sourcegraph.com/about if you w

Thanks for the report! We've fixed the bug now. That definitely earns a sticker, check out https://sourcegraph.com/about https://sourcegraph.com/about if you want to redeem it :)