log launch @ 37:ce67eac10fc7 draft header-includes

age author description
2019-05-29 David Barts Allow global character encoding specification. draft header-includes
2019-05-26 David Barts Preliminary debugging, still not fully tested. draft header-includes
2019-05-20 David Barts More improvements to the error reportage. draft
2019-05-13 David Barts Finally got "hello, world" working. Still likely many bugs. draft