Search whole site: site:github.com
Search title: GitHub - raldenhoven/downloadify: Spotify updated their player, I'm sure they don't encrypt their mp3's with the player so you could just modify this and get it to work.
See how to search.