I think every user would expect
gpg --list-keys > before
gpg --recv-key key
gpg --delete-key key
gpg --list-keys > after
diff -s before after
to yield:
Files before and after are identical
This is not the case when key is an ambiguous short id: --recv-key will
download more than one, while --delete-key will delete only one at at time