Adjust to use docker rm -f to avoid race conditions, suggested by @hinnerk. Also: Comments
Adjust to use docker rm -f to avoid race conditions, suggested by @hinnerk. Also: Comments

experimental-platform/platform-configure,experimental-platform/platform-configure