There was some lamentation in the local tech community over D.C. Chief Technology Officer Vivek Kundra’s decision to leave city government for a post with the Obama administration. Under Kundra’s watch the Office of the CTO did some cool things, most notably the city data catalog and the Apps for Democracy contest (which was a great idea, even if the money-saving numbers quoted in relation to it are transparently ridiculous). But — the occasional FBI…