Optionally rename default sorting options or optionally add alphabetical and randomized sorting options to WooCommerce shop pages.