documentation in several formats