Point out the docker push and export commands.