Merge "Add information on Docker dependency"