Change in docker-playground[master]: common/pipework: deduplicate