Ok, another idea: what about using a circular saw to cut the stump
into bite-size pieces that can be hammered off? Will the dirt dull a
circular saw blade in the same way it dulls a chain on a chain saw?