✏️ Editing: mysql.server.1.gz