Re: [Nml-wg] NML extensions