Renaming the Poly tool terminal to poly shell, and also using poly shell to start it, for added clarity. Updated the instructions accordingly + added a note about that the help texts are lying. Also incorporating @tengstrand's changes, so I think only this PR needs to be merged.
Renaming the Poly tool terminal to poly shell, and also using
poly shell
to start it, for added clarity. Updated the instructions accordingly + added a note about that the help texts are lying. Also incorporating @tengstrand's changes, so I think only this PR needs to be merged.Closes #38