De-anonymization and minor final edits