merge from main - dev guide, fixes

frdel committed Jul 31, 2025 at 08:10 UTC 9361542a74a464f9d9ff4e001350ca3e691d84f6

No changes.