sdh_install -T src/static/main-built.js "$SAGE_SHARE/thebe/thebe.js"
