This is a minor bug-fixing release.
With this release, you can run Rosette using Docker, for example:
docker run -it -v "$PWD":/rosette ghcr.io/emina/rosette:4.1 -- test.rkt
will run the file test.rkt
in the current directory using the Rosette Docker image.