Re: [DFDL-WG] Publication and notation of DFDL