GitHub Code Folding

A userscript that adds code folding to GitHub files

As of 01. 04. 2021. See the latest version.