Renam pdf file on git to make it more consistent with the markdown file name