That makes sense for both parties, though I expect he would have stayed if in form. Maybe the early season wickets were so different to what he is used to that it affected his confidence. He played an important tole in 2022 though so good luck to him.
Looking for a replacement implies that he's not being paid for September. I'm not too keen on short term replacements so I hope whoever comes in is also open to a deal for next season but all the constraints on availability may make that impossible.