Comments by "Kit. J. Benn" (@KitJBenn) on "What's the Deepest Hole We Can Possibly Dig?" video.