Extension:Wikidiff2/How we improved Wikidiff2