The file did not exist on this branch (it was cut before the workflow landed on main), so a merge would have shown it as new. It is copied verbatim: this branch is not in the push triggers and builds nothing on its own.
