Re: [jsdl-wg] drop User section?