Minor edits to May 12 tech updates#365

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

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