Update documentation and literate comments.