It's not clear to me from that story whether the workers will in fact get paid in December or not. And 2022 sure sounds like a long way away. Selfishly, I wish they would get the jetways repaired, or at least have ramps available for boarding all planes.