Yes I did read about these while doing my research. Also fascinating. Most (or maybe all?) PAL TVs also have a delay line to correct for phase errors. That ability is what differentiates PAL from NTSC, apart from timing.