Crates.io-index not updated, whereas crates.io is

It would seem, after cargo publish did its work, crates.io is updated to vsn 0.3.8 ( https://crates.io/crates/rustfbp ) whereas GitHub - rust-lang/crates.io-index: Registry index for crates.io is not updated ( crates.io-index/rustfbp at master · rust-lang/crates.io-index · GitHub )

Is there something wrong with the plumbing?

Okay, seems to be working, though quite a bit slower than a few months ago.

Github's having some issues right now: https://status.github.com/