resync docker and docker-bin (and remove an implemented comment in -9999)