Gravitational-lensing measurements push Hubble-constant discrepancy past 5σ | Hacker News Reader