Revert "Just account for github pages being slow"

This reverts commit 22f860ee1a1728d42f53a556d2199101d2c4b2cc.