The Coconut Grove Playhouse, a historic theater in Miami, is undergoing a major renovation despite recent setbacks.

Two weeks after a floor partially collapsed during interior demolition work at the long-closed Coconut Grove Playhouse, Miami ...