[r3bl]

Huh, turns out you're right. Not sure if that was the case when I started moving to GitHub (~15 months ago) or not, but looks like it's a thing now.

But still, you can do other things like selecting a different code highlighter (which GitHub deprecated recently).

[mawburn]

It's always been the case. Github Pages has always been just a static file host.