Document how the optimizer starts up.