And not be off completely...

I used to like some of its music

This story was written in another text also and discussed on HN. It was longer and the author also described how later in life he introduced a standard to wear hemlets on bicycle competitions. (Sorry, I dont have a link handy)

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.