gh117: fix stack overflow when terminating debugger
don't report runtime down when shutting down
fix launch configs for tests
branding
make erlide feature independent of headless one
remove build.wrangler project
add about.html to all plugins
add about.html to build.properties
merge pu
site build properties