Bob’s gift venison, with cabbage

We had about a pound of venison, and I browned it with onion, added cabbage, mustard, and stock, and pressure-cooked it for 15 minutes.  It was good and satisfying, but by no means great.