It seems that the playground compiled .js output is currently build without using the minify flag (-m). I don't see any good reason not to use the flag, is there?

See #11 (comment) for potential file size savings.

I think we should use the minify flag. But let's do it after the existing PR #11 is merged.