Comments by "Public Public" (@public.public) on "What's the Deepest Hole We Can Possibly Dig?" video.