BUT WHAT IS sea lettuce, REALLY?