JSON source files for indexing hackage