[J3] Binding labels whose names compare the same when case is ignored

[Thomas König]

Am 21.02.25 um 18:06 schrieb Steve Lionel via J3:
> 18.10.2p2 The case of letters in the binding label is significant.

Yes, but this does not invalidate

"Furthermore, a binding label shall not be the same as the global
identifier of any other global entity, ignoring differences in case."

Best regards

	Thomas