- Docs are now visible immediately, and we don't have to push them
  separately.