Manual: correct default for optimizer following a5995aec

9 jobs for occbin_doc_optimizer in 81 minutes and 10 seconds (queued for 3 minutes and 34 seconds)