Earlier this morning when I looked it looked like OP said...it looks like something has changed in the three hours or so intervening.
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...