Easily search among attributes on WooCommerce manage-products screen, useful for shops with more than hundred attributes.