-Finally, the '--deepclean' option does what '--realclean' does, and also removes the arvados/debian image.
+Finally, the '--deepclean' option does what '--realclean' does, and also removes the arvados/debian, crosbymichael/skydns and crosbymichael/skydock images.