Don't forget to change into the correct directory

... if you are reading this not in the repo, but from the web page, you might
not know where to go to make all those nice commands work.