I suspect they aren't minified since it's a dev platform, so obfuscated or minified code might make it somewhat difficult to modify the js to meet a particular site's needs. And the text of the js...