Typesetting of README.md