[checkmk-commits] Change naming of patches from diff to dif in order to match the general pattern