I think we need a bigger boot partition | Hacker News Reader