✏️ Editing: mysql_num_rows.3.gz