See doc/readme.html for a brief introduction