[qguv]

Github pages is pretty sluggish right now. Github's actual Web interface is much slower than, say, pushing and pulling.