Hello,
What do you mean by “is a too big plugin.”
Wishlist element in header created for the YITH wishlist plugin. We did not test our theme with https://woocommerce.com/products/woocommerce-wishlists/ plugin, so I don’t have information about compatibility issues. It should work ok in general I think. But keep in mind that we don’t have the special element in the header for that plugin.
Regards