After a few gentle taps, it got the message.
.
Once it was loose, it was easy to drag out of its hole. I'll leave it upside-down for a year or so to wash all the dirt out of the roots before chainsawing the bottom flat to make it a "portable" stump, for landscaping.
