Fixup some small issues in executor binary docs

Created by: eseliger

Found by a user here: https://github.com/sourcegraph/sourcegraph/issues/37559

Test plan

Docs change.