Does anyone know what `${1+"$@"}` in a generated #racket launcher does?
A few quick tests don't show me that it's any different from just "$@", and I don't see anything on a "+" in that position when I look in https://www.gnu.org/software/bash/manual/bashref.html#Shell-Parameter-Expansion .