I guess a hole with a saw vent would work fine. I too wondered why he did not drill a hole in the center.
I drill a bunch of holes and put potassium nitrate in em and some water. It basically rots it away in no time at all and you can dig it out with a nothing more than a trowel or gloved hands.
I have never had the need to remove a tree stump and I never will. If I do though it means I've seriously done something wrong in life.
After you own a house, you will probably have to do something like this (unless you are rich and can pay somebody to do it).
Well God will put me with whomever he wants but if I have any say in it then yes, he will be wealthy. Besides, this is mans work anyways.