We removed a stump. It was way less work than we expected and now we can mow that area easily. (This is a dreadfully written intro. I give it an F.)
Aaanyway, I bought Epsom salt to try the pinterest tip for removing tree stumps. Allegedly you drill holes, add watered Epsom to the holes and wait for a quick-ish natural decay. Well, we didn’t even have to add the salt!