Not sure GitHub has such a clause. Just looked at their terms and don't see it.

See term D.4., the relevant part of which is

> You grant us and our legal successors the right to store, archive, parse, and display Your Content, and make incidental copies, as necessary to provide the Service, including improving the Service over time. This license includes the right to do things like [...] or otherwise analyze it on our servers; share it with other users

That could be boilerplate legalese for "obviously we need access to your code if we're to display and share it (as is the purpose for a public git host)"

It doesn't matter what the original purpose of the terms was it matters what they do.

I've been wondering for several years why no-one does this yet.

I am reading the CodePen example for summary/details. Especially the CSS part.

Its so easy, like a breeze!

Have you found this stuff useful during the many years since you learned it? Or you don't mean you mastered it enough to judge its usefulness?

I have a personal coq/rocq project regarding the verification of software so for that purpose it is highly useful. I also wrote a proof assistent myself (https://github.com/chrisd1977/system).

Dumb tools are more robust.

Far from everything

Why exceptions were difficult without the builtin support? Sttange to hear that.

Android doesn't even let you access your files. It has famously blocked acess to the subfolders of /Android/data/ - every app has a subfolder there where it stores files. And you can not visit these subfolders since Android 11.

A buggy app accumulates gigabytes (literaly, i am not exagregating) of temp files there, but i cant visit the folder to delete them.

Google explains that "it's for you safety".

I have to call it with the strong word "idiotic".

There are apps now where storing files in a shared, accessible folder is a payed option.

Not only that is outrageous, I belive that violates the existing "right of access" laws like GDPR. I am condidering even submitting Subject Access Request to Google about my /Android/data/ subdirectories.

No, I dont want to clear storage - there is data I downloaded into the app and work with that I dont want to lose. But the app also accumulates some temp files there.

without access - how do you know the files are temp files?

I used to delete them on old Android version.

> The goal they are trying to achieve is good, but the execution is just stupid and will make everyone, including and maybe especially the people they want to protect, less safe online.

If so, the best way to stop that is to sugest a good way to achieve the good goal.

How would solve these good goals?

Ban targeted advertising, let social media companies die.

Everyone knows what model is. Almost noone knows what is controller.