As far as I know, everyone I know who was at the marathon is OK. Three quick notes for now: Mike and I lost 5 or 6 minutes in the crowd at the start. Our chip time was 3:58. The bomb was at 4:09, s…