GitHub Code Folding

A userscript that adds code folding to GitHub files