An ODF to text convertor optimized for comparing document revisions