Revised edition of README.pdf