Wait, what about versioning? The user might want to mention that the patched PDF is version 2.0, with a changelog of what's been modified. That's a good point. Including a changelog in the document would help users understand what's new.