remove scripts/web-server.js; instead use some external tool for this, for example, the http-server node facility
do htmlification of name and definition via filters (also some preparation for highlight of search string)
2px border for term frame
general info in separate lines #22
adjustment in general info block and status message.