Clean docs

12 jobs for rework_kl in 11 minutes and 51 seconds (queued for 1 second)