org.texi: Suggest :noexport: as an alternative for COMMENT