[8note]

The page surrounding the code in the GitHub UI is a derivative work, isn't it?

It's an html file containing both the licensed code and some other html

[BenjiWiebe]

It still has attribution.