Delete 2013-10-06-sourcegraph.md