This is an old revision of the document!
bash <(wget -O - https://thonny.org/installer-for-linux) sudo pip3 install rshell
If you can not read the menu's, just change the theme.