Plugin development: were to put additional binaries

Thanks, Andreas. It seems that I’ve started my plugin development attempts with a check that does not need the additional binary. So I could not yet try it out. Instead I’m encountering a more fundamental issue. But I will open a new question fro this.