[theOnliest]

Earlier this morning when I looked it looked like OP said...it looks like something has changed in the three hours or so intervening.

[jperkin]

Huh, yes, they appear to have coincidentally fixed it since I wrote that comment. Maybe I need to start reporting all GitHub bugs as Hacker News comments...