if( empty($field['menu_order']) && $field['menu_order'] !== 0) {
$field['menu_order'] = ($count[ $field['parent'] ] - 1);
}
Went for the pragmatic fix… 😉 In the short term, we’re just being careful not to overwrite it on version updates, and wait patiently for the fix.