✏️ Editing: mysql_get_client_info.3.gz