Thanks! The main reason to do a full teardown in the stop script is in case we change any of the port forwarding etc config for the docker run command.

In that case I don't believe just docker "stop" and "start" are enough to get the new config loaded, so instead of having 2 levels of stop / start ("warm" / "cold") we just simplify and keep a single pair of scripts that always tear down the container.

The time difference between a simple stop and a full teardown is negligible too.