hello.html: initial version