Hello,
"Sebastien Vauban" <wxhgmqzgwmuf-genee64ty+gs+fvcfc7...@public.gmane.org> writes: > Can we assume that `:noexport:' and `COMMENT' are complete synonyms, as of > today As of today, yes. > and will stay so in the foreseen future? I wouldn't bet. `:noexport' is /de facto/ limited to export. `COMMENT' keyword doesn't have to. Someone may come up with a broader use case. For example, it could prevent Babel blocks from being executed. Regards, -- Nicolas Goaziou