Rename forgotten -dverbose-simpl to -dverbose-core2core in the docs.