Use rvctl as sole launcher entrypoint

doc/rvctl.md

@@ -55,16 +55,15 @@ git clone http://77.90.8.171:3001/edu-tools/rv-launcher.git
 cd rv-launcher
 ```
 
-Glowne entrypointy:
+Glowne pliki CLI:
 
 ```bash
 ./rvctl
-./workspace
-./wspace
+rvctl.py
 ```
 
-`rvctl` jest nazwa podstawowa. `workspace` i `wspace` sa aliasami do tego
-samego CLI.
+`rvctl` jest jedynym publicznym entrypointem. `rvctl.py` jest implementacja
+uruchamiana przez wrapper i nie wymaga osobnego wywolywania przez ucznia.
 
 ### Autoryzacja
 

doc/workspace.md

@@ -1,11 +1,13 @@
-# Workspace CLI
+# Workspace
 
-Skrot dokumentacji jest teraz w `doc/rvctl.md`.
+Ten plik opisuje tylko kontekst workspace. Szczegolowy opis CLI jest w
+`doc/rvctl.md`.
 
-Glowne entrypointy:
+Publiczny entrypoint launchera:
 
 ```bash
 ./rvctl
-./workspace
-./wspace
 ```
+
+Implementacja CLI znajduje sie w `rvctl.py`. Plik `workspace.json` przechowuje
+sciezki workspace, series, socketow, tokenow i fallback do repo zrodlowych.