Also, touch plates get installed after the pool is constructed. I would expect those could easily be made to compensate for any size differences. That would leave a size difference at the start, but that's easily fixed, too.
Maybe I misread the article, but it sounds like the effective length of lane can change depending on various environmental conditions. I suppose you may the touch pad distance easily adjustable, but that would be lots of measuring while the swimmers are in the water.