The output for ini options in ``--help`` has been improved.