[stdlib-bot]

This PR

• updates the REPL namespace documentation

[stdlib-bot]

Coverage Report

Package	Statements	Branches	Functions	Lines
namespace/alias2pkg	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$
namespace/alias2related	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$
namespace/alias2standalone	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$
namespace/aliases	$\\color{green}144/144$ $\\color{green}+100.00\\%$	$\\color{green}14/14$ $\\color{green}+100.00\\%$	$\\color{green}2/2$ $\\color{green}+100.00\\%$	$\\color{green}144/144$ $\\color{green}+100.00\\%$
namespace/pkg2alias	$\\color{green}100/100$ $\\color{green}+100.00\\%$	$\\color{green}10/10$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}100/100$ $\\color{green}+100.00\\%$
namespace/pkg2related	$\\color{green}100/100$ $\\color{green}+100.00\\%$	$\\color{green}10/10$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}100/100$ $\\color{green}+100.00\\%$
namespace/pkg2standalone	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$
namespace/standalone2pkg	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$
repl/help	$\\color{green}95/95$ $\\color{green}+100.00\\%$	$\\color{green}7/7$ $\\color{green}+100.00\\%$	$\\color{green}1/1$ $\\color{green}+100.00\\%$	$\\color{green}95/95$ $\\color{green}+100.00\\%$

The above coverage report was generated for the changes in this PR.