Sync documentation

12 jobs for generalize_minisanity in 11 minutes and 19 seconds (queued for 1 second)