Product Filters for WooCommerce

My clients have recently trialed WooCommerce Product Vendor plugin to manage their art gallery products. It would be excellent if the shop filter could present the list of vendors for the visitor to select from, so show only products in the shop by that vendor. https://woocommerce.com/products/product-vendors/