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