Please and thank you.
The shovel is the most efficient tool for the job when removing a stump (at least that I currently have)
The shovel should switch to my hand if I'm removing a stump and I have a shovel in my belt.
It should not attempt to remove a stump with an axe. Why would anyone ever remove a stump with an axe?
In nearly every other case in the game, the game auto-selects the right tool for the job.
I don't know why tree stumps are treated differently.