GitHub Code Folding

A userscript that adds code folding to GitHub files

Från och med 2021-02-21. Se den senaste versionen.