I have no idea why tsc issues these error messages!
Summary
Imo, leoAtFile.ts is a good starting point for the final version of leoAtFile.ts, to be completed by you, Félix.
Work on Leo's python-to-typescript command is complete, for now. I'll be happy to fix bugs in this command. If you like, we can zoom to discuss any possible improvements in python-to-typescript.
Leo issue #2275 what Leo's python-to-typescript command does, and what it doesn't (can't) do.
Status of leoAtFile.ts
I have no idea why tsc issues these error messages!
Summary
Imo, leoAtFile.ts is a good starting point for the final version of leoAtFile.ts, to be completed by you, Félix.
Work on Leo's python-to-typescript command is complete, for now. I'll be happy to fix bugs in this command. If you like, we can zoom to discuss any possible improvements in python-to-typescript.