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