[dougwbrunton]

Is there a bug in the command line parsing there? I can't see it.

[tempodox]

In this specific case it's more of a nitpick, I think. Even shellcheck won't demand double-quoting `$#` because everyone(?) knows that it'll always be a number and have no whitespace in it nor evaluate to an empty string.