A few people have been discussing the idea of turning Coconut Grove, my favorite neighborhood in Miami, into a tech hub. This is actually…