LeanF1lZzZ last comments

v20240901