GitHub Code Folding

A userscript that adds code folding to GitHub files

As of 24. 10. 2022. See the latest version.