Mangrove Capital Partners portfolio | F4