Save your own documents in a GitHub repository.
Jump to a document, run a command, or search the demo workspace.