My kingdom for a GitHub setting to disable "hidden items".
Aaaalmost tempted to install an extension for this, but I am not giving anything Javascript execution permissions under the github.com origin.
Discussion
nostr:npub17qejctd76jm8syfmpkde4nlur4avy2fhthwk75yce2ykes08zqjs3gv7la why not use a scriptmanager of your choice and write the <30 lines of js for this?