Sourcegraph CEO here. Filed! Thanks. I've taken bug reports and feature requests from airplane seatmates and when walking down the sidewalk in SF, so this is ac

Sourcegraph CEO here. Filed! Thanks. I've taken bug reports and feature requests from airplane seatmates and when walking down the sidewalk in SF, so this is actually not a bad place to post them. :)