A JS obfuscator is also a JS minifier (see #5), but it also strips local variable names and renames it to single characters (or multiple if needed). I guess we could use an external library instead of ...