Thanks. I'm away from home but I uploaded again the October 2024 version. I'll re-upload the July 2025 tomorrow.
The difference is limited to two typos I corrected.
