submit JavaScript specification changes