Style/comment tweaks.
Re-minify runtime/min.js after recent changes to runtime/dev.js.