Quench of LHC inner triplet magnet causes a small leak with major consequences | Hacker News