chore: trigger CI after retargeting #744 onto main

Empty commit so GitHub Actions sees a synchronize event now that
the pull request base is main (workflows only run for PRs targeting
main). Rebase itself was already force-pushed at 995ee9c.

This commit was drafted with AI assistance.

Co-authored-by: Jeroen Bloemscheer <grootstebozewolf@users.noreply.github.com>

Author: cursoragent