What would it cost to add high-resolution Lidar to the current Google Earth? | Hacker News Reader