Temporarily comment out deploying docs (fixes #8387)