Does doing it by hand not give you that ability? In any case, one can always recover the branch by looking at the parent of the merge.

I think we should just say: delete the branch, without saying how, and without mentioning being able to restore it.