How do order product categories – on a parent category page – in Woocommerce?

It’s funny how we can set the order of products but not categories. This plugin should do it though.