This is one of several issues raised by ModuleFactoringSummary.
WG1 decided to leave interaction-environment in the repl module.
WG1 decided to leave interaction-environment in the repl module.