more on app-handling in HTML
include trang jar file on distro, and change scripts accordingly