This is one of several issues raised by ModuleFactoringSummary.
WG1 decided to leave these in their own module.
WG1 decided to leave these in their own module.