chiark / gitweb /
dep-ui.js: Add some debugging machinery.