Yes. Accidentally leaking information makes it harder for the FBI to gather information in the future, so they ensure that they are very careful when disclosing information. In this case, it makes the information harder to search, but that's why we pay journalists to read the released documents and summarize them for us.