WooCommerce: Rename The Product Description Tabs

add_filter('woocommerce_product_tabs', 'giodc_rename_tab', 98);
function giodc_rename_tab($tabs)
{
    $tabs['description']['title'] = 'Details';
    return $tabs;
}