Github-flavored markdown for the instructions