Build 2025-07-15

This release contains the following new features:

The release also contains the following fix:



peter@waher.se
7/15/2025, 11:34:38 AM7/15/2025, 6:47:44 PM