Using the Sun to gravitationally lens an exoplanet | Hacker News Reader