This is no longer true; I think github got confused. Ignore.