@gallais@mamot.fr @JacquesC2@types.pl is it a Lean trend or an "we acknowledge help by Claude to improve some formulations in this paper" trend?