This patch again stops Traivs from uploading docs now that the new infra seems
to be better at it.

This reverts commit 196c881c.