[release-announce] [mistral] mistral-extra 5.2.0 (pike)