add doc"" export
Get the repl to use Docs primarily