Cooking with an instant pot

I like turnip greens
Care to share a recipe? Farmers mkt had bunches so I got some to roast the roots with taters. I don't want to waste the greens. I've never cooked them tho.

For instance, do you remove most of the stem or leave even the thicker more fibrous parts? I already cleaned them down to just leaves, but that's easily correctable. I guess I could even make a veggie stock with the stems and add that to the greens.

What a man sposed to do?