Don't rely on github for pdf files