✏️ Editing: mysqlhotcopy.1.gz