Editorial: better explanation of the Global extended attribute

Closes #748.

Co-authored-by: Timothy Gu <[email protected]>

Author: Ms2ger

index.bs

@@ -9437,12 +9437,31 @@ for the specific requirements that the use of
 <h4 oldids="PrimaryGlobal" id="Global" extended-attribute lt="Global">[Global]</h4>
 
 If the [{{Global}}] [=extended attribute=] appears on an [=interface=],
-it indicates that objects implementing this interface can
-be used as the global object in a [=Realm=],
-and that the structure of the prototype chain and how
-properties corresponding to [=interface members=]
-will be reflected on the prototype objects will be different from other
-interfaces. Specifically:
+it indicates that objects implementing this interface will
+be used as the global object in a [=Realm=].
+
+The [{{Global}}] [=extended attribute=] also defines the
+<dfn id="dfn-global-name" export>global names</dfn> for the [=interface=]:
+
+<dl class="switch">
+     :  If the [{{Global}}] [=extended attribute=] [=takes an identifier=]
+     :: « the given [=identifier=] »
+     :  If the [{{Global}}] [=extended attribute=] [=takes an identifier list=]
+     :: the identifier list
+</dl>
+
+The [{{Global}}] extended attribute must be one of the forms given above.
+
+Note: The [=global names=] for the [=interface=] are the [=identifiers=] that can be used to
+reference it in the [{{Exposed}}] [=extended attribute=].
+A single name can be shared across multiple different global interfaces,
+allowing an interface to more easily use [{{Exposed}}] to expose itself to all of them at once.
+For example, "<code>Worker</code>" is used to refer to several distinct types of threading-related
+global interfaces.
+
+For these global [=interfaces=], the structure of the prototype chain and how properties
+corresponding to [=interface members=] will be reflected on the prototype objects will be different
+from other interfaces. Specifically:
 
 1.  Any [=named properties=]
     will be exposed on an object in the prototype chain – the
@@ -9524,21 +9543,6 @@ across those interfaces.
 Note: This is because all of the [=members=] of the interface
 get flattened down on to the object that [=implements=] the interface.
 
-The [{{Global}}] extended attribute
-can also be used to give a name to one or more global interfaces,
-which can then be referenced by the [{{Exposed}}]
-extended attribute.
-
-The [{{Global}}] extended attribute must either
-[=takes an identifier|take an identifier=] or
-[=takes an identifier list|take an identifier list=].
-
-The identifier argument or identifier list argument the [{{Global}}] [=extended attribute=] is declared with
-define the interface’s <dfn id="dfn-global-name" export>global names</dfn>.
-
-Note: The identifier argument list exists so that more than one global interface can
-be addressed with a single name in an [{{Exposed}}] [=extended attribute=].
-
 See [[#named-properties-object]] for the specific requirements
 that the use of [{{Global}}] entails for [=named properties=],
 and [[#es-constants]], [[#es-attributes]] and [[#es-operations]]