No, that dish is unknown to me.
They're eaten basically as a substitute for green beans or bell peppers (roughly the same nutritional value and taste) Like RV said, they're prepared by harvesting the leaf pads and scraping thorns off before cutting them to the appropriate size and shape. They're also pickled and eaten with eggs.