What file types can Google index? | Hacker News Reader