First detected in 2019, the leak proved stubbornly difficult to fix.