## the source for s7webserver/jqconsole.min.js is debian/missing-sources/jqconsole.coffee
snd source: source-is-missing [s7webserver/jqconsole.min.js]
## these could actually be generated with tools/make-index.scm
snd source: source-is-missing [index.html]
snd source: source-is-missing [sndclm.html]
snd source: source-is-missing [sndscm.html]
