suggestion: add pdf in github repository

[Gitleptune]

Upload a compiled version of the LaTeX for people who don't have it installed on their computer/don't want to compile it themselves. Alternative: convert it to markdown and have it as a README in the ~/spec folder.