A module is the object that a
Main.html file defines. In general,
name attributes are defined within the scope of the module that defines them, except for the special cases this section describes.
In general, any object or function an extension module creates is visible only to that extension module, so its name attribute need only be unique ...