Dirty solution to wp_list_categories not respecting the order of manually sorted WooCommerce categories

sort-wc-categories.php

<?php
// Get the IDs of all product categories
$categories_args = array(
    'taxonomy' => 'product_cat',
    'fields' => 'ids',
);

$categories = get_terms( $categories_args );

// Get the previously fetched categories, and output them in a nicely formatted list
$list_args = array(
    'taxonomy' => 'product_cat',
    'title_li' => __('Title', 'domain'),
    'include' => $categories,
    'orderby' => 'include',
);

wp_list_categories( $list_args );