docs: update REPL namespace documentation #16539

Job	Run time
Manage labels	0s
Remove in-progress label	0s
Check for required files	0s
Update copyright header years	0s
Auto-fix lint errors	0s
Rebase this PR on top of develop branch	-7s
Merge changes from develop branch into this PR	-7s
	-14s

Provide feedback