See docs/readme.*.html