Sync literate docs to src