Replace manual repository cloning with a hint to the release packages. #197
Description
If the goal is to just play, cloning the Git repository is by now obsolete. So this should be replaced in the README.
{{ message }}
If the goal is to just play, cloning the Git repository is by now obsolete. So this should be replaced in the README.