That distinction is overly pedantic. That's like saying, "No, the store didn't refund my payment. Instead, they made a second transaction that returned an equal amount of money to me."
git revert can be merged with a fast-forward. `git reset --hard HEAD~1` would require others to reset their clones also (and is more like what happens when blocks become orphaned in Bitcoin)
A detailed and factually correct replay should not be scorned for being too detailed :/