Quitting Gmail: any way to create a searchable archive of my gmail mbox? | Hacker News Reader