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