The Earth radius in MySQL lifted from a lazy-copy-job into PostGIS 20 years ago | Hacker News Reader