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