Regenerated .js files

I’ve been doing this more often than once a release lately, in order to
keep the examples page updated, which seems to be useful to users.