Revert "initial doc push"

This reverts commit 3b60ab727131d93e015ca924b1dde4e11d45a3fd.