When we moved our examples, the hole-punching docs were not updated for the new names of the binaries. We adjust them such that the tutorial works again. Pull-Request: #4458.
Resolves #3853. Pull-Request: #3974.