GitHub Code Folding

A userscript that adds code folding to GitHub files

Per 01-04-2021. Zie de nieuwste versie.