Sure, I can clone it and run grep/ripgrep - but sometimes I like the ability to search the code on the browser.
Is it only GitHub where this is a restriction or GitLab is similar?
There is too much stuff of GitHub. From a resiliency point of view and from a monopoly point of view this is bad.
Does someone take the mailing list updates and manually PR them into Github? I've never actually used a mailing list so I'm curious how it works.
The real economic reason to open source part of your product.