GitHub Code Folding

A userscript that adds code folding to GitHub files

As of 17. 02. 2024. See the latest version.