I believe that to be incorrect.Label names must be unique throughout the whole script.
Multiple labels with the same name may exist in a script in the case of each being a different hotkey definition under a different #IfWinActive (or similar) directive.
I believe it would be more accurately written as:
Normal label names (non-Hotkey and non-Hotstring) must be unique throughout the whole script