✏️ Editing: mysql_options4.3.gz