add documentation

3 jobs for add_doc in 1 minute and 38 seconds (queued for 1 second)