caravel_user_project_analog/verilog/dv/README.md : How to STOP docker instance?!?

[tatzelbrumm]

At the item:

Then, run the following command to start the docker container :

docker run -it -v $CARAVEL_ROOT:$CARAVEL_ROOT -v $PDK_PATH:$PDK_PATH -v $UPRJ_ROOT:$UPRJ_ROOT -e CARAVEL_ROOT=$CARAVEL_ROOT -e PDK_PATH

there is no documentation how to stop the docker container and get back out of a defective docker container if something goes wrong.