I was able to find all the libraries. Here’s a list of where I think I found them (it was a couple weeks ago so I had to look them up again):
[SD and SPI libraries appear to be included with Arduino install by default]
For any item on GitHub, click green “clone or download” button, then “download zip”. Unzip and put the contents in a subfolder of your Arduino\Libraries folder.