Google published a non-GPL encumbered version of diff/match/patch. I would have paid for that. I’m happy I don’t have to.