Nicolas Goaziou <n.goaz...@gmail.com> writes: > Alternatives: > > - Treat their contents as `quote-blocks' instead of `example-block' > - Remove them altogether, since they don't bring anything new. > > As a side note, if they are here to stay, it would be good to document > them. > > WDYT?
I'd be happy to see it go. I'm happy to reserve the space before the "section-name" for TODO-like words (that is COMMENT can also go IMO). –Rasmus -- May contains speling mistake