Minor tweaks to 2025-05-05-weekly-progress-summary.md#327

will-break-it merged 1 commit intoinput-output-hk:maininput-output-hk/ouroboros-leios:mainfrom

olgahryniuk:patch-19olgahryniuk/ouroboros-leios:patch-19Copy head branch name to clipboard