How much disk space would everything take? | Hacker News Reader