dep.js, dep-ui.js: Remove `with (MOD) { ... }' wrappers from modules.
-rw-r--r-- 161 dep-ui.css
-rw-r--r-- 6600 dep-ui.js
-rw-r--r-- 14454 dep.js
-rw-r--r-- 1955 rolling-eqn.html
-rw-r--r-- 377 rolling.css
-rw-r--r-- 8048 rolling.html