Adding literate docs for the examples now