Docker vs Salt | What are the differences?