Hacker News Reader

I think they mean that the hash in the JSON record does not match the PDF file anymore, after the PDF has been changed by some other program.

I agree but it seems the original PDF is not changed but you are right, if it is edited directly and renamed then it will fail to load the JSON.