Add more doc

13 jobs for Simplifications in 17 minutes and 44 seconds (queued for 2 seconds)