✏️ Editing: mysql_get_server_version.3.gz