Re: Should we continue installing docker by default?