Comments by "Dmitry Zhikharev" (@dima.jiharev) on "What's the Deepest Hole We Can Possibly Dig?" video.