=== zkriesse_ is now known as zkriesse [11:38] issyl0: our processing tools deal with this automatically - I think that one space is introduced regardless of how many spaces are actually used in the document === peppe84_ is now known as peppe84 [12:07] mdke: ah, right, that makes sense. Thanks! === czajkows1i is now known as czajkowski