Using Comment notes the right way

[Richard Kimberly Heck]

On 11/17/23 04:17, Jean-Marc Lasgouttes wrote:
> Le 17/11/2023 à 08:00, Daniel a écrit :
>> One difference I noted is that branches have a strange indentation at 
>> the beginning. But I seem to remember that this is a bug rather than 
>> a feature.
>
> A bug indeed.

It's because we treat the beginning of the branch as the start of a 
paragraph. I had to deal with a similar issue in XHTML export. I think 
we could just check if we're in the first paragraph of a branch and not 
indent if so.

Riki