Comments by "chru cas" (@Chr.U.Cas2216) on "What's the Deepest Hole We Can Possibly Dig?" video.