chiark / gitweb /
add EXTRAS documentation to the README file.