Comment by Y_Y

How come there's no source in the git repo? You shouldn't just throw up the PDF and call it a day, github isn't just a trendy file host.