Now this could be bad news for some patent trolls: A useful repository of prior art.