But git (and more generally diff) is not very efficient for detecting and showing moved text (which it displays as deletion+addition)