Hacker News Reader

> Reading progress, bookmarks, and annotations are stored in plain JSON files

The file is not modified.

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.