After 150 years, is the time finally right for deep-ocean mining? | Hacker News Reader