Some javascript files are generated by browserify. Unfortunately as of this
writing browserify is not packaged for Debian, therefore preprocessed versions
are provided as debian/js/*. They are build from the sources provided here.

