Regenerated js file

Will probably be doing this a bit more often than once per release so
that the deployed examples aren’t too far behind master, which is
particularly valuable when we fix bugs.