-ddump-simpl-phases

[Gabor Greif]

Hi all,

the manual mentions `-ddump-simpl-phases`  but there is no such flag
[1]. How should we fix this?

Cheers,

    Gabor

[1] $ git grep ddump-simpl-phases
docs/users_guide/debugging.rst:    outputs even more information than
``-ddump-simpl-phases``.