* "Kai" == Kai Großjohann <Kai.Grossjohann@CS.Uni-Dortmund.DE> writes:

> Oliver Scholz <oscholz@my.gnus.org> writes:
>> Should I make new diffs without the read-only text property then?

> Way cool.  Thanks a lot.  That way, the diffs might be < 10 lines,
> which means we don't need paperwork from you.
[...]

O.k. here they are.