docs: catch up with recent repl merges (terminal integration, completion, global options, MCP prompts)#3

carldebilly merged 6 commits into

mainyllibed/repl-website:mainfrom

docs/shell-integration-marksyllibed/repl-website:docs/shell-integration-marksCopy head branch name to clipboard