hydrogen-prelude-0.8: README.md