Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) writes:

> Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) writes:
>
>> I think it doesn't.
>>
>> See: it also folds lines that look like headers in the body.
>>
>> You should wait for the followup to see this.
>
> See how it removed the newline after "See: "?  No good.

Ah, right.  We need to narrow to the headers before unfolding them: