Andrea, I would like to make a small correction on diff-ext project. The license is not GPL, it is BSD type. Best regards, Serg.