Deploy registryServer as a Docker image

Seems to work — but need to take care of data preservation between
images.