git-revert documentation: refer to new HOWTO on reverting faulty merges