Major improvements#29

Draft

smjonas wants to merge 2 commits into

mainfrom

Commits on May 1, 2023

fix: use remote server for executing commands
smjonas
committed

Commits on Jun 1, 2023

Update comments
smjonas
committed