Delete Git-GitHub-howto.bib~