`main` is red: CI failure at a0210e1

[github-actions]

Do not close this issue by hand. It closes itself when CI next
succeeds on main. Closing it early only means the next failure opens
a second one.

CI concluded failure on main.

• Commit: a0210e1 (pushed by @taras)
• Run: https://github.com/taras/executable.md/actions/runs/32324141835

[github-actions]

✅ main is green again at a0210e1 — run.