GitHub Code Folding

A userscript that adds code folding to GitHub files

Mint 2023.07.01.. Lásd a legutóbbi verzió