Slow down github doc generation