GitHub Code Folding

A userscript that adds code folding to GitHub files

Ekde 2021/07/21. Vidu La ĝisdata versio.