>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> We use 'pit' for that. Martin> ...which is confusing, as it obviously doesn't stand for Martin> "paragraph iterator". Sure, but it we use a name consistently, if it easier to replace it later. JMarc
