Summary of changes:
cf99806... Update to the latest git (20241013git0324720) (*)
2d499dd... Update to the latest git (20241016gitea5d37e) (*)
01453d2... Update to the latest git (20240915git1458bc8) (*)
(*) This commit already existed in another branch; no separate mail sent