Documentation stump