The super-slow conversion of the U.S. to metric (2025) | Hacker News Reader