Post-edit: [expression-of-concern deleted, the matter having been well-resolved by all] Thank you.