Things you didn't know about Europe's tug to Mars | Hacker News Reader