Editing PDF and then choosing "Don't save" retains some recent changes in memory. Despite discarding changes, some of them remain when the file re-opened while the app remains running. Closing the app and then re-opening file reverts changes.