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