Chrome extensions: Finding the missing proof | Hacker News Reader