Yeah, seems to be the case.  I guess theoretically this would not strictly be required, though since shortname has to be unique, it makes sense to enforce this too, lest we end up having to do weird sample-badge-237 shortnames.