Gruber, Gradenigo, Dorello, and Vail: key personalities in the historical evolution and modern-day understanding of Dorello's canal.